Bash manual: https://www.gnu.org/software/bash/manual/html_node/index.html Recommended Vagrant boxes: https://www.vagrantup.com/docs/boxes.html