mirror of
https://github.com/Pmodules/Pmodules.git
synced 2026-06-28 02:19:39 +02:00
42 lines
1018 B
Bash
42 lines
1018 B
Bash
#!/bin/bash
|
|
|
|
if [[ -z ${sbindir} ]]; then
|
|
local sbindir=$(dirname "${BASH_SOURCE}")
|
|
sbindir=$(cd "${sbindir}"/.. && pwd)"/sbin"
|
|
fi
|
|
|
|
pmodules::get_options() {
|
|
"${sbindir}/getopt" "$@"
|
|
}
|
|
|
|
pmodules::check_env_vars() {
|
|
[[ -n "${PMODULES_ROOT}" ]] &&
|
|
[[ -n "${PMODULES_CONFIG_DIR}" ]] &&
|
|
[[ -n "${PMODULES_TEMPLATES_DIR}" ]] &&
|
|
[[ -n "${PMODULES_HOME}" ]] &&
|
|
[[ -n "${PMODULES_VERSION}" ]] || std::die 1 "
|
|
Error: the module environment you are going to use as source has not been
|
|
initialized properly!"
|
|
}
|
|
|
|
pmodules::check_directories() {
|
|
local -r src_prefix="$1"
|
|
|
|
[[ -d "${src_prefix}" ]] &&
|
|
[[ -d "${src_prefix}/${PMODULES_CONFIG_DIR}" ]] &&
|
|
[[ -d "${src_prefix}/Tools/Pmodules/${PMODULES_VERSION}" ]] || std::die 1 "
|
|
Error: the module environment '${src_prefix}' has not been initialized properly!"
|
|
}
|
|
|
|
pmodules::check_env() {
|
|
pmodules::check_env_vars
|
|
pmodules::check_directories "${PMODULES_ROOT}"
|
|
}
|
|
|
|
|
|
# Local Variables:
|
|
# mode: sh
|
|
# sh-basic-offset: 8
|
|
# tab-width: 8
|
|
# End:
|