From 6007206f689843f32a5e3d0f3c96c5a9da9bb3f3 Mon Sep 17 00:00:00 2001
From: Alberto Bertogli <albertito@blitiri.com.ar>
Date: Thu, 2 Jul 2009 20:39:07 -0300
Subject: [PATCH 05/25] Use /usr/bin/env to run bash

fiu-run and fiu-ctrl assume bash is at /bin, which is not necessarily
correct. This patch fixes that by using /usr/bin/env to run it, which is
more reliable.

Signed-off-by: Alberto Bertogli <albertito@blitiri.com.ar>
---
 preload/run/fiu-run.in |    2 +-
 utils/fiu-ctrl         |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/preload/run/fiu-run.in b/preload/run/fiu-run.in
index 8b97267..11a5d87 100644
--- a/preload/run/fiu-run.in
+++ b/preload/run/fiu-run.in
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # This script aims to make the use of the fiu_run_preload library a little
 # easier by providing a more friendly user interface, and abstracting the
diff --git a/utils/fiu-ctrl b/utils/fiu-ctrl
index d2feeac..130af8f 100755
--- a/utils/fiu-ctrl
+++ b/utils/fiu-ctrl
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # This scripts present a friendly interface to the fiu remote control
 # capabilities. Currently, it supports only the named pipe method (the only
-- 
1.6.2.2.646.gb214

