From abc086c715d231160badf9078368d190e47a9028 Mon Sep 17 00:00:00 2001
From: Millian Poquet <millian.poquet@inria.fr>
Date: Thu, 1 Feb 2018 11:46:09 +0100
Subject: [PATCH] [#!] #!/bin/bash -> #!/usr/bin/env bash

find . \
    -type f \
    -not -iwholename '*.git*' \
    -exec sed -i -e 'sW#!\s*/bin/bashW#!/usr/bin/env bashWg' {} \;
---
 teshsuite/smpi/mpich3-test/generate_report | 2 +-
 tools/fix-paje-trace.sh                    | 2 +-
 tools/git-hooks/clang-format.pre-commit    | 2 +-
 tools/internal/check_dist_archive          | 2 +-
 tools/internal/indent                      | 2 +-
 tools/internal/update_copyright_header     | 2 +-
 6 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/teshsuite/smpi/mpich3-test/generate_report b/teshsuite/smpi/mpich3-test/generate_report
index 1b3c55efa3..ff45bf6404 100755
--- a/teshsuite/smpi/mpich3-test/generate_report
+++ b/teshsuite/smpi/mpich3-test/generate_report
@@ -1,4 +1,4 @@
-#! /bin/bash
+#!/usr/bin/env bash
 
 explore_files() {
 
diff --git a/tools/fix-paje-trace.sh b/tools/fix-paje-trace.sh
index 259fae977f..0d854900f5 100755
--- a/tools/fix-paje-trace.sh
+++ b/tools/fix-paje-trace.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Copyright (c) 2010-2017. The SimGrid Team. All rights reserved.
 
diff --git a/tools/git-hooks/clang-format.pre-commit b/tools/git-hooks/clang-format.pre-commit
index 8d1bd55ce4..c56aa5803e 100755
--- a/tools/git-hooks/clang-format.pre-commit
+++ b/tools/git-hooks/clang-format.pre-commit
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 # Copyright (c) 2015, David Martin
 # All rights reserved.
 # 
diff --git a/tools/internal/check_dist_archive b/tools/internal/check_dist_archive
index 89f1f92af0..e31e692b19 100755
--- a/tools/internal/check_dist_archive
+++ b/tools/internal/check_dist_archive
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Copyright (c) 2013-2014. The SimGrid Team.
 # All rights reserved.
diff --git a/tools/internal/indent b/tools/internal/indent
index 56c39060bd..3587410b2b 100755
--- a/tools/internal/indent
+++ b/tools/internal/indent
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Copyright (c) 2011, 2014. The SimGrid Team.
 # All rights reserved.
diff --git a/tools/internal/update_copyright_header b/tools/internal/update_copyright_header
index 238f200662..e68449192d 100755
--- a/tools/internal/update_copyright_header
+++ b/tools/internal/update_copyright_header
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Copyright (c) 2014. The SimGrid Team.
 # All rights reserved.
-- 
2.20.1