find . \
-type f \
-not -iwholename '*.git*' \
-exec sed -i -e 'sW#!\s*/bin/bashW#!/usr/bin/env bashWg' {} \;
-#! /bin/bash
+#!/usr/bin/env bash
explore_files() {
-#!/bin/bash
+#!/usr/bin/env bash
# Copyright (c) 2010-2017. The SimGrid Team. All rights reserved.
-#!/bin/bash
+#!/usr/bin/env bash
# Copyright (c) 2015, David Martin
# All rights reserved.
#
-#!/bin/bash
+#!/usr/bin/env bash
# Copyright (c) 2013-2014. The SimGrid Team.
# All rights reserved.
-#!/bin/bash
+#!/usr/bin/env bash
# Copyright (c) 2011, 2014. The SimGrid Team.
# All rights reserved.
-#!/bin/bash
+#!/usr/bin/env bash
# Copyright (c) 2014. The SimGrid Team.
# All rights reserved.