mirror of
https://github.com/Pmodules/Pmodules.git
synced 2026-06-27 10:03:08 +02:00
49 lines
1.4 KiB
Bash
49 lines
1.4 KiB
Bash
#!/bin/bash
|
|
#
|
|
# The following settings are system defaults. They can be (re-)defined
|
|
# in a system wide profile or in a user's profile.
|
|
|
|
# set groups which should be available after initialization
|
|
: ${PMODULES_DEFAULT_GROUPS:='Tools Programming'}
|
|
|
|
# set releases which should be available after initialization
|
|
: ${PMODULES_DEFAULT_RELEASES:='stable'}
|
|
|
|
# set default version
|
|
: ${PMODULES_VERSION:=@PMODULES_VERSION@}
|
|
|
|
#############################################################################
|
|
# N O C H A N G E S B E L O W T H I S L I N E ! #
|
|
#
|
|
# Notes:
|
|
# - PMODULES_ROOT is derived from the location of this file.
|
|
# - Some for PMODULES_CONFIG_DIR.
|
|
# - The Pmodules software must be installed in
|
|
# ${PMODULES_ROOT}/Tools/Pmodules/${PMODULES_VERSION}
|
|
#
|
|
|
|
export PMODULES_DEFAULT_GROUPS
|
|
export PMODULES_DEFAULT_RELEASES
|
|
export PMODULES_VERSION
|
|
|
|
declare -x PMODULES_MODULEFILES_DIR='modulefiles'
|
|
declare -x PMODULES_DEFINED_RELEASES=':unstable:stable:deprecated:'
|
|
|
|
declare -x PMODULES_ROOT=$(cd $(dirname "${BASH_SOURCE}")/.. && pwd)
|
|
declare -x PMODULES_CONFIG_DIR=$(basename $(cd $(dirname "${BASH_SOURCE}") && pwd))
|
|
declare -x PMODULES_HOME="${PMODULES_ROOT}/Tools/Pmodules/${PMODULES_VERSION}"
|
|
declare -x PMODULES_DIR="${PMODULES_HOME}"
|
|
|
|
test -r "${PMODULES_HOME}/init/bash" && source "$_"
|
|
|
|
if [[ $? != 0 ]]; then
|
|
echo "Oops: cannot initialize Pmodules!"
|
|
return 1
|
|
fi
|
|
|
|
# Local Variables:
|
|
# mode: sh
|
|
# sh-basic-offset: 8
|
|
# tab-width: 8
|
|
# End:
|