From c0442f898d6cd2efbbb66e1b0299622173cd71c4 Mon Sep 17 00:00:00 2001
From: 0xboobface <0xboobface@gmail.com>
Date: Mon, 10 Dec 2018 12:57:33 +0100
Subject: [PATCH] Use /bin/bash as execution execution environment for the
 linux scripts

---
 client/src/assembly/ctbrec-linux-jre.sh | 2 +-
 client/src/assembly/ctbrec-linux.sh     | 2 +-
 server/src/assembly/server-linux.sh     | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/client/src/assembly/ctbrec-linux-jre.sh b/client/src/assembly/ctbrec-linux-jre.sh
index 6c68d4d8..e6880968 100755
--- a/client/src/assembly/ctbrec-linux-jre.sh
+++ b/client/src/assembly/ctbrec-linux-jre.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 pushd $(dirname $0)
 JAVA=./jre/bin/java
diff --git a/client/src/assembly/ctbrec-linux.sh b/client/src/assembly/ctbrec-linux.sh
index df9c22eb..6ddab21e 100755
--- a/client/src/assembly/ctbrec-linux.sh
+++ b/client/src/assembly/ctbrec-linux.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 pushd $(dirname $0)
 JAVA=java
diff --git a/server/src/assembly/server-linux.sh b/server/src/assembly/server-linux.sh
index 8c3658a7..498096bd 100755
--- a/server/src/assembly/server-linux.sh
+++ b/server/src/assembly/server-linux.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 pushd $(dirname $0)
 JAVA=java