-##########################################
-# check that $1 is one of $2, $3, ...
-function checkVal {
- local val=$1
- shift
- for x in $* ; do
- if [ "$val" == "$x" ] ; then
- echo "true"
- return
- fi
- done
- echo "false"
-}
-
-###########################################
-function bigDisplay {
- echo " ================================================================================================"
- echo " ================================================================================================"
- echo " ======= $1"
- echo " ================================================================================================"
- echo " ================================================================================================"
-}
-
-###########################################
-function checkDistrib {
- local OS=$1
-
- if [ "`checkVal $OS MacOS Fedora Ubuntu Mandriva`" == "false" ] ; then
- echo "Operating System not supported: $OS"
- echo "Currently supported system: Fedora Ubuntu MacOS"
- exit 1
- fi
-}
-
-###########################################
-function getDistrib {
- local OS=`uname`
-
- if [ "$OS" == Darwin ] ; then OS=MacOS;
- elif [ "$OS" == Linux ] ; then OS=`awk 'NR==1{print $1}' /etc/issue`
- else OS=""
- fi
-
-# checkDistrib $OS
-
- echo $OS
-}
-
-###########################################
-function getncore {
- if [ `uname` == Darwin ] ; then # MacOS
- system_profiler | grep Processor | awk '$1=="Number" {print $4}'
- else
- cat /proc/cpuinfo | grep processor | wc -l
- fi
-}
-
-###########################################
-function getbashrc {
- if [ ! -f $HOME/.bashrc ] ; then
- touch $HOME/.bashrc
- fi
- echo $HOME/.bashrc
-
-
-# # Do it, while we are under user, not under root! # JPR
-# if [ -f $HOME/.bashrc ] ; then
-# echo $HOME/.bashrc
-# else
-# if [ -f $HOME/.profile ] ; then
-# echo $HOME/.profile
-# else
-# echo "=============== BIG TROUBLE : neither $HOME/.bashrc nor $HOME/.profile file found" > /dev/stderr
-# echo "=============== You'd better abort the program and (try to) fix the issue" > /dec/stderr
-# read a # just to let the user time enough to read the message...
-# fi
-# fi
-}
-