Support ZSH

ZSH does not set `BASH_SOURCE`, so we use a command to get the
corresponding path.

See also https://stackoverflow.com/a/28336473.

activate.sh

 #!/bin/bash
 
-SOURCE_PATH="${BASH_SOURCE[0]}"
+# See https://stackoverflow.com/a/28336473
+SOURCE_PATH="${BASH_SOURCE[0]:-${(%):-%x}}"
 
 RELATIVE_PATH="$(dirname "$SOURCE_PATH")"
 ABSOLUTE_PATH="$(realpath "${RELATIVE_PATH}")"

config.sh

-SOURCE_PATH="${BASH_SOURCE[0]}"
+SOURCE_PATH="${BASH_SOURCE[0]:-${(%):-%x}}"
 
 ## Check if this script is sourced
 [[ "$0" != "${SOURCE_PATH}" ]] && echo "Setting vars" || ( echo "Vars script must be sourced." && exit 1) ;

create_kernel.sh

 #!/bin/bash
 
-SOURCE_PATH="${BASH_SOURCE[0]}"
+SOURCE_PATH="${BASH_SOURCE[0]:-${(%):-%x}}"
 
 RELATIVE_PATH="$(dirname "$SOURCE_PATH")"
 ABSOLUTE_PATH="$(realpath "${RELATIVE_PATH}")"

setup.sh

 #!/bin/bash
 
-SOURCE_PATH="${BASH_SOURCE[0]}"
+SOURCE_PATH="${BASH_SOURCE[0]:-${(%):-%x}}"
 
 RELATIVE_PATH="$(dirname "$SOURCE_PATH")"
 ABSOLUTE_PATH="$(realpath "${RELATIVE_PATH}")"