diff --git a/dist/tools/has_minimal_version/has_minimal_version.sh b/dist/tools/has_minimal_version/has_minimal_version.sh index f6afdf3ae9bd..db16f9e48148 100755 --- a/dist/tools/has_minimal_version/has_minimal_version.sh +++ b/dist/tools/has_minimal_version/has_minimal_version.sh @@ -1,4 +1,4 @@ -#! /bin/bash +#!/usr/bin/env bash # # usage: has_minimal_version.sh [toolname] # Checks that version >= minimal_version diff --git a/dist/tools/openocd/openocd.sh b/dist/tools/openocd/openocd.sh index e6776bbee14a..d9e8b0b7ad82 100755 --- a/dist/tools/openocd/openocd.sh +++ b/dist/tools/openocd/openocd.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # Unified OpenOCD script for RIOT # 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