configure

- simple script to setup configuration
2026-06-24 16:47:58 +02:00 · 2016-10-12 15:22:24 +02:00
parent 460072df83
commit addc88e19f
1 changed files with 42 additions and 0 deletions
@@ -0,0 +1,42 @@
+#!/bin/bash
+
+declare prefix='/opt/psi'
+declare distfiles='/afs/psi.ch/software/Pmodules/distfiles'
+
+print_usage() {
+	echo "${0##*/} [OPTS]" 1>&2
+	exit 1
+}
+
+while (( $# > 0 )); do
+	case $1 in
+	--prefix=* )
+		prefix=${1#*=}
+		;;
+	--distfiles=* )
+		distfile=${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"
+