Merge pull request #8 from fkie-cad/fix-shebangs

Fix incorrect bash shebangs
fkie-cad · Nov 20, 2023 · a80dd67 · a80dd67
2 parents 32d9068 + 3c5650c
commit a80dd67
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/build_image.sh b/build_image.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/bash
+#!/bin/bash
 
 AMIDES_TAG="amides:base"
 UID=$(id -u)

diff --git a/run_experiments.sh b/run_experiments.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/bash
+#!/bin/bash
 
 AMIDES_IMAGE="amides:base"
 AMIDES_EXPERIMENTS_CONTAINER="amides-experiments"

diff --git a/start_env.sh b/start_env.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/bash
+#!/bin/bash
 
 AMIDES_IMAGE="amides:base"
 AMIDES_ENV_CONTAINER="amides-env"