diff options
author | Muflone | 2015-06-13 17:59:23 +0200 |
---|---|---|
committer | Muflone | 2015-06-13 17:59:23 +0200 |
commit | a9e625ed20f96081738caca8f079ad203b00f700 (patch) | |
tree | bb7e80ce11cbf8fbcae449dd3420ffc93c022ad1 /rpgng.sh | |
download | aur-rpgng.tar.gz |
Initial import
Diffstat (limited to 'rpgng.sh')
-rw-r--r-- | rpgng.sh | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/rpgng.sh b/rpgng.sh new file mode 100644 index 000000000000..f239c3958b89 --- /dev/null +++ b/rpgng.sh @@ -0,0 +1,23 @@ +#!/bin/bash + +# Here I avoid to use the default $HOME/workspace folder +# which conflicts with the default Eclipse workspace + +# Check if the user has provided the -data argument +while [[ $# > 0 ]]; do + if [ "$1" == "-data" ] + then + shift + WORKSPACE="$1" + fi + shift +done + +# Check if no workspace argument was provided +if [ -z "$WORKSPACE" ] +then + WORKSPACE="$HOME/.local/share/rpgng" + echo "Unspecified -data argument, assuming $WORKSPACE as workspace." +fi + +/usr/lib/rpgng/rpgng -data "$WORKSPACE" |