dist/tools: Use /usr/bin/env bash for bash scripts

dist/tools/ci/print_toolchain_versions.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 MAKE=${MAKE:-make}
 

dist/tools/coccinelle/check.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Copyright 2017 Kaspar Schleiser <kaspar@schleiser.de>
 #

dist/tools/dlcache/dlcache.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 DLCACHE_DIR=${DLCACHE_DIR:-~/.dlcache}
 

dist/tools/git/git-cache

@@ -1,4 +1,6 @@
-#!/bin/bash -e
+#!/usr/bin/env bash
+
+set -e
 
 [ "$GIT_CACHE_VERBOSE" != "1" ] && Q=-q
 

dist/tools/insufficient_memory/add_insufficient_memory_board.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # Copyright (C) 2019 Benjamin Valentin <benjamin.valentin@ml-pa.com>
 #

dist/tools/licenses/check.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Copyright 2017 Kaspar Schleiser <kaspar@schleiser.de>
 # Copyright 2014 Ludwig Knüpfer <ludwig.knuepfer@fu-berlin.de>

dist/tools/uncrustify/uncrustify.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 RIOTBASE=$(git rev-parse --show-toplevel)
 CURDIR=$(cd "$(dirname "$0")" && pwd)
 UNCRUSTIFY_CFG="$RIOTBASE"/uncrustify-riot.cfg

dist/tools/vera++/check.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Copyright 2018 Jose Ignacio Alamos <jose.alamos@haw-hamburg.de>
 #