vagrant file for jenkins box after booting, jenkins is available under localhost:8081 note: jenkins git plugin must be manually installed via the web interface