mirror of
https://github.com/zellyn/diskii.git
synced 2024-12-26 10:32:37 +00:00
20 lines
562 B
Bash
Executable File
20 lines
562 B
Bash
Executable File
#!/bin/bash
|
|
# This file must be used with "source bin/activate-hermit" from bash or zsh.
|
|
# You cannot run it directly
|
|
|
|
if [ "${BASH_SOURCE-}" = "$0" ]; then
|
|
echo "You must source this script: \$ source $0" >&2
|
|
exit 33
|
|
fi
|
|
|
|
BIN_DIR="$(dirname "${BASH_SOURCE[0]:-${(%):-%x}}")"
|
|
if "${BIN_DIR}/hermit" noop > /dev/null; then
|
|
eval "$("${BIN_DIR}/hermit" activate "${BIN_DIR}/..")"
|
|
|
|
if [ -n "${BASH-}" ] || [ -n "${ZSH_VERSION-}" ]; then
|
|
hash -r 2>/dev/null
|
|
fi
|
|
|
|
echo "Hermit environment $("${HERMIT_ENV}"/bin/hermit env HERMIT_ENV) activated"
|
|
fi
|