Support bash in devenv scripts

config.inc

@@ -1,6 +1,6 @@
 #! /bin/sh
 
-HOST_BASE_PREFIX=${HOST_BASE_PREFIX:-$(cd "$(dirname ${0})" && pwd)}
+HOST_BASE_PREFIX=${HOST_BASE_PREFIX:-$(cd "$(dirname ${BASH_SOURCE:-$0})" && pwd)}
 if [ ! -x "${HOST_BASE_PREFIX}/helpers/install.sh" ]; then
     echo "Unable to find the current script base directory" >&2
     exit 1

devenv_build_container.sh

@@ -1,6 +1,6 @@
 #!/bin/sh
 
-. "$(dirname ${0})/config.inc"
+. "$(dirname ${BASH_SOURCE:-$0})/config.inc"
 
 if docker image inspect lucet-dev:latest > /dev/null; then
 	if [ -z "$DEVENV_FORCE_REBUILD" ]; then

devenv_run.sh

@@ -1,6 +1,6 @@
 #!/bin/sh
 
-. "$(dirname ${0})/config.inc"
+. "$(dirname ${BASH_SOURCE:-$0})/config.inc"
 
 if ! docker ps -f name=lucet | grep -Fq lucet ; then
 	${HOST_BASE_PREFIX}/devenv_start.sh

devenv_setenv.sh

@@ -1,6 +1,6 @@
 #!/bin/sh
 
-. $(dirname ${0})/config.inc
+. $(dirname ${BASH_SOURCE:-$0})/config.inc
 
 if ! "$HOST_RUN" true ; then
     echo "Unable to run commands in the container" >&2

devenv_start.sh

@@ -1,6 +1,6 @@
 #!/bin/sh
 
-. "$(dirname ${0})/config.inc"
+. "$(dirname ${BASH_SOURCE:-$0})/config.inc"
 
 if ! docker image inspect lucet-dev:latest > /dev/null; then
 	${HOST_BASE_PREFIX}/devenv_build_container.sh

devenv_stop.sh

@@ -1,9 +1,9 @@
 #!/bin/sh
 
-. "$(dirname ${0})/config.inc"
+. "$(dirname ${BASH_SOURCE:-$0})/config.inc"
 
 echo "Stopping container"
 docker stop lucet
 
 echo "Removing container"
-docker rm lucet
+docker rm lucet