From ee3847a7ca2f788e086efe69ca11bf817a934e66 Mon Sep 17 00:00:00 2001
From: catherine quinones <quinones@creatis.insa-lyon.fr>
Date: Thu, 12 Feb 2015 16:04:44 +0100
Subject: [PATCH] changed #!/usr/bin/env bash to #! /usr/local/bin/bash -lx

---
 cluster_tools/gate_run_submit_cluster.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cluster_tools/gate_run_submit_cluster.sh b/cluster_tools/gate_run_submit_cluster.sh
index 29427bd..9112050 100755
--- a/cluster_tools/gate_run_submit_cluster.sh
+++ b/cluster_tools/gate_run_submit_cluster.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#! /usr/local/bin/bash -lx
 
 set -u
 SCRIPTNAME="$(basename "${0}")"
-- 
2.47.1