Mirror
/
ardupilot
mirror of https://github.com/ArduPilot/ardupilot
5
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
63,111 Commits 71 Branches 508 Tags 635 MiB
Commit Graph

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 5b3a01ecb3 Vagrant: fixes for Jammy virtual machine 2022-05-02 08:05:00 +10:00
Oleksandr Shcherbatii 0cec5dccea Tools: Fix setup for Jammy 2022-05-02 08:05:00 +10:00
Peter Barker 4d9cfdaaa8 Vagrant: create a bionic64-desktop VM 
The focal-desktop appears to have a problem where directories are
considered to be in-use when being deleted. Not reproduced by me, but
reliably by a Windows user.
 2021-02-22 15:00:38 +11:00
Peter Barker 4020308d40 Vagrant: add desktop to Vagrant 2021-02-11 09:58:53 +11:00