diff options
Diffstat (limited to '')
-rwxr-xr-x | %HOME%/.local/bin/vagrant-update-all-boxes.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/%HOME%/.local/bin/vagrant-update-all-boxes.sh b/%HOME%/.local/bin/vagrant-update-all-boxes.sh index 06b2360..6d7e5a8 100755 --- a/%HOME%/.local/bin/vagrant-update-all-boxes.sh +++ b/%HOME%/.local/bin/vagrant-update-all-boxes.sh @@ -5,6 +5,8 @@ # For details, see https://github.com/egor-tensin/linux-home. # Distributed under the MIT License. +# This script updates all Vagrant boxes. + set -o errexit -o nounset -o pipefail shopt -s inherit_errexit |