From 9e870460fdc4a231c858ba373809e0c9f76e8b12 Mon Sep 17 00:00:00 2001 From: Sebastian Meiling Date: Mon, 16 Sep 2019 11:25:27 +0200 Subject: [PATCH] tools: fix shebang in packer/setup.sh Change shebang in script from `/bin/bash` to `/usr/bin/env bash`, which fixed problems when `bash` is not available in standard location, e.g., on non-Linux OSes such as FreeBSD. --- dist/tools/packer/setup.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) mode change 100644 => 100755 dist/tools/packer/setup.sh diff --git a/dist/tools/packer/setup.sh b/dist/tools/packer/setup.sh old mode 100644 new mode 100755 index 018b1e8b9f76..c9cc2f005fed --- a/dist/tools/packer/setup.sh +++ b/dist/tools/packer/setup.sh @@ -1,4 +1,4 @@ -#!/bin/bash -eux +#!/usr/bin/env bash -eux # inspired by https://github.com/boxcutter/ubuntu