From 94e8c9e5eaaa945b9f7e558888a4818fa7c422ff Mon Sep 17 00:00:00 2001
From: Olaf Hartig <olaf.hartig@liu.se>
Date: Wed, 25 Sep 2024 14:11:38 +0200
Subject: [PATCH] the CLI scripts must be marked as Bash scripts

---
 bin/hefquin        | 4 ++--
 bin/hefquin-pg     | 4 ++--
 bin/hefquin-pgmat  | 4 ++--
 bin/hefquin-server | 4 ++--
 4 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/bin/hefquin b/bin/hefquin
index 0518dadf7..943110bc8 100755
--- a/bin/hefquin
+++ b/bin/hefquin
@@ -1,6 +1,6 @@
-#!/bin/sh
+#!/bin/bash
 SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )"
 source ${SCRIPT_DIR}/common.sh
 
 # Run the Java command
-"$JAVA" $JVM_ARGS -cp $HEFQUIN_CP se.liu.ida.hefquin.cli.RunQueryWithoutSrcSel $@
\ No newline at end of file
+"$JAVA" $JVM_ARGS -cp $HEFQUIN_CP se.liu.ida.hefquin.cli.RunQueryWithoutSrcSel $@
diff --git a/bin/hefquin-pg b/bin/hefquin-pg
index 57e60f7a2..0bb8a3178 100755
--- a/bin/hefquin-pg
+++ b/bin/hefquin-pg
@@ -1,6 +1,6 @@
-#!/bin/sh
+#!/bin/bash
 SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )"
 source ${SCRIPT_DIR}/common.sh
 
 # Run the Java command
-"$JAVA" $JVM_ARGS -cp $HEFQUIN_CP se.liu.ida.hefquin.cli.RunBGPOverNeo4j $@
\ No newline at end of file
+"$JAVA" $JVM_ARGS -cp $HEFQUIN_CP se.liu.ida.hefquin.cli.RunBGPOverNeo4j $@
diff --git a/bin/hefquin-pgmat b/bin/hefquin-pgmat
index 020a47c89..49dfc7746 100755
--- a/bin/hefquin-pgmat
+++ b/bin/hefquin-pgmat
@@ -1,6 +1,6 @@
-#!/bin/sh
+#!/bin/bash
 SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )"
 source ${SCRIPT_DIR}/common.sh
 
 # Run the Java command
-"$JAVA" $JVM_ARGS -cp $HEFQUIN_CP se.liu.ida.hefquin.cli.MaterializeRDFViewOfLPG $@
\ No newline at end of file
+"$JAVA" $JVM_ARGS -cp $HEFQUIN_CP se.liu.ida.hefquin.cli.MaterializeRDFViewOfLPG $@
diff --git a/bin/hefquin-server b/bin/hefquin-server
index ec434072d..c6ca3997f 100755
--- a/bin/hefquin-server
+++ b/bin/hefquin-server
@@ -1,6 +1,6 @@
-#!/bin/sh
+#!/bin/bash
 SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )"
 source ${SCRIPT_DIR}/common.sh
 
 # Run the Java command
-"$JAVA" $JVM_ARGS -cp $HEFQUIN_CP se.liu.ida.hefquin.cli.RunHeFQUINServer $@
\ No newline at end of file
+"$JAVA" $JVM_ARGS -cp $HEFQUIN_CP se.liu.ida.hefquin.cli.RunHeFQUINServer $@