You've posed an interesting puzzle. My first guess was that there was just something missing from the box-building process for the 12.0 box.
I finally got my test enviroment back to the point where I could download the two boxes: freebsd/FreeBSD-13.0-CURRENT freebsd-FreeBSD-12.0-RELEASE to see if I could reproduce your symptoms. As is the nature of things, I got different symptoms, but they are basically attributable to the fact that bash is not included in these boxes - a little strange for Vagrant boxes, since "bash -l" is the default value of config.ssh.shell. In order to use these boxes with vagrant, your Vagrantfile (or some other part of your environment) would have to specify a different shell - and I didn't see you doing this. But these boxes do come with csh installed, so - if your provisioning script can be made compatible with csh - you could possibly get past your problem by adding the line: config.ssh.shell = "/bin/csh" to your Vagrantfile. As to why your v13 box worked and your v12 box didn't, I can't explain. The boxes on the vagrant cloud get updated from time to time, so I'd need to be sure I was more exactly getting the same boxes as you did, and a better characterization of your vagrant environment than you've given us so far, before I could expect to reproduce what you were seeing. The fact that you see /usr/local/bin/bash on your boxes is one indication that your boxes differ in important ways from the ones I just downloaded. -- This mailing list is governed under the HashiCorp Community Guidelines - https://www.hashicorp.com/community-guidelines.html. Behavior in violation of those guidelines may result in your removal from this mailing list. GitHub Issues: https://github.com/mitchellh/vagrant/issues IRC: #vagrant on Freenode --- You received this message because you are subscribed to the Google Groups "Vagrant" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/vagrant-up/000c8d39-d3e8-497b-8381-cf7381c9bc9b%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
