mirror of
https://github.com/Pmodules/Pmodules.git
synced 2026-06-25 17:13:10 +02:00
cdb18ac96b
- more verbose usage - bugfix in parsing options
51 lines
777 B
Bash
Executable File
51 lines
777 B
Bash
Executable File
#!/bin/bash
|
|
|
|
declare prefix='/opt/psi'
|
|
declare distfiles='/afs/psi.ch/software/Pmodules/distfiles'
|
|
|
|
print_usage() {
|
|
echo "${0##*/} [OPTS]
|
|
|
|
OPTS
|
|
--prefix=PREFIX
|
|
Installation prefix
|
|
|
|
--distfiles=DISTFILES
|
|
Directory with sources
|
|
" 1>&2
|
|
exit 1
|
|
}
|
|
|
|
while (( $# > 0 )); do
|
|
case $1 in
|
|
--prefix=* )
|
|
prefix=${1#*=}
|
|
;;
|
|
--distfiles=* )
|
|
distfiles=${1#*=}
|
|
;;
|
|
--help | -h | -\? )
|
|
print_usage
|
|
exit 1
|
|
;;
|
|
-* )
|
|
echo "$1: invalid option." 1>&2
|
|
exit 1
|
|
;;
|
|
* )
|
|
echo "$1: invalid argument." 1>&2
|
|
exit 1
|
|
;;
|
|
esac
|
|
shift
|
|
done
|
|
|
|
echo "PMODULES_ROOT=$prefix"
|
|
echo "PMODULES_DISTFILESDIR=$distfiles"
|
|
|
|
sed_cmd="s:@PMODULES_ROOT@:${prefix}:g;"
|
|
sed_cmd+="s:@PMODULES_DISTFILESDIR@:${distfiles}:g;"
|
|
|
|
sed "${sed_cmd}" "config/environment.bash.in" > "config/environment.bash"
|
|
|