Andrew Shu b97eaed93c Use better defaults for vagrant user in Dockerfile ...

The adduser script is recommended over useradd in Debian.
Sets Bash as default shell instead of /bin/sh, in particular.

Closes tildes-community/tildes-cf#18

See merge request tildes-community/tildes-cf!7

2025-03-10 22:51:27 -06:00

..

Dockerfile-for-vagrant

Use better defaults for vagrant user in Dockerfile

2025-03-10 22:51:27 -06:00

systemctl3.py

Add Docker provider for Vagrant development environment

2025-03-10 22:49:00 -06:00

tell-user-to-reboot-vagrant.sh

Tell user to reboot Docker container after initial provisioning

2025-03-10 22:51:10 -06:00