This PR adds a script which runs on login (executed from .bashrc) and does the following:
Does .vagrant_provision.backup exist?
If yes, check whether all lines in vagrant_provision.sh exist in the backup files.
Copy all detected added/changed lines to provision_diff.sh and prompt you to run provision_diff.sh.
Then create new backup file from current provision.
Because chickens and eggs, upon merge this will not run automatically, you will have to make one (last?) manual adjustment by executing:
echo 'python /home/vagrant/rdfs/utility/provision_diff.py' >> /home/vagrant/.bashrc
Then when you login via vagrant ssh, if provision has changed since last ssh, the difference will be printed along with the instruction to execute if it looks correct.
This PR adds a script which runs on login (executed from .bashrc) and does the following:
Because chickens and eggs, upon merge this will not run automatically, you will have to make one (last?) manual adjustment by executing:
echo 'python /home/vagrant/rdfs/utility/provision_diff.py' >> /home/vagrant/.bashrc
Then when you login via vagrant ssh, if provision has changed since last ssh, the difference will be printed along with the instruction to execute if it looks correct.