6 Commits

Author	SHA1	Message	Date
Richard Marko	04b46678a4	treewide: fix shebangs - /bin/bash -> /usr/bin/env bash ... Most scripts/tools use non-portable `/bin/bash`, switch to environment agnostic `/usr/bin/env bash`.	2024-02-13 11:36:23 +11:00
Pierre Kancir	df1fa1d615	Tools: vagrant: fix exec permissions	2022-06-08 08:16:42 +09:00
Peter Barker	3c3db50843	Vagrant: augment bash when working in a git repository ... This .bashrc_git originally came from tridge.	2021-02-14 09:57:26 +11:00
Stephen Dade	f6535f0ed4	Tools: Update Vagrant to new pre-reqs folder	2019-04-05 10:31:09 +11:00
filipsladek	236ab29e51	Tools: vagrant: adjust paths for JSBSim now being built in build directory	2019-03-08 22:26:04 +11:00
Peter Barker	0a7ae22398	Tools: Vagrant: use install-prereqs-ubuntu for installation	2018-02-13 13:49:41 +09:00