Files
Pmodules/Pmodules/profile.bash.in
T
2018-07-11 10:23:11 +02:00

53 lines
1.5 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@}
export PMODULES_DEFAULT_GROUPS
export PMODULES_DEFAULT_RELEASES
export 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: