diff options
author | Magnus Feuer <mfeuer@jaguarlandrover.com> | 2015-11-22 17:27:26 -0800 |
---|---|---|
committer | Magnus Feuer <mfeuer@jaguarlandrover.com> | 2015-11-22 17:27:26 -0800 |
commit | 05395b77b3d16260998fb2d23f5a28b87fcb645a (patch) | |
tree | 577a8adeecb637cb401fab540a731447c5594b22 | |
parent | cdfefa876f4e7b84d1785df179a482543fb496dc (diff) | |
download | rvi_core-05395b77b3d16260998fb2d23f5a28b87fcb645a.tar.gz |
Added cookie and short name arguments.
Now refers to rvi_core instead of rvi
Moved nodetool and setup_getn to their correct scripts subdirectory under their install directory.
-rwxr-xr-x[-rw-r--r--] | scripts/rvi.sh | 26 |
1 files changed, 17 insertions, 9 deletions
diff --git a/scripts/rvi.sh b/scripts/rvi.sh index 4dd754c..fe9cd01 100644..100755 --- a/scripts/rvi.sh +++ b/scripts/rvi.sh @@ -24,6 +24,10 @@ usage() { echo " If omitted the rvi.config in the configuration " echo " directory will be used." echo + echo " -s short_name Erlang node short name. Defaults to 'rvi_core'" + echo + echo " -C cookie Erlang node cookie to use. Defaults to 'rvi_cookue'" + echo echo " -d config_dir Directory to put generated uuid 'device_id' file and" echo " processed config files." echo " Defauts to the '/etc/opt/rvi'." @@ -46,15 +50,21 @@ usage() { CONFIG_FILE="" -SNAME=rvi +SNAME=rvi_core COOKIE=rvi_cookie unset CONFIG_DIR unset LOG_DIR -while getopts "c:d:" o; do +while getopts "c:d:l:s:C:" o; do case "${o}" in + s) + SNAME=${OPTARG} + ;; c) CONFIG_FILE=${OPTARG} ;; + C) + COOKIE=${OPTARG} + ;; d) CONFIG_DIR=${OPTARG} ;; @@ -77,7 +87,7 @@ then usage fi -export ERL_LIBS=${SELF_DIR}/rvi:${SELF_DIR}/rvi/deps:${SELF_DIR}/rvi/components +export ERL_LIBS=${SELF_DIR}/rvi_core:${SELF_DIR}/rvi_core/deps:${SELF_DIR}/rvi_core/components # Check that we have a config dir @@ -93,8 +103,6 @@ then cat /proc/sys/kernel/random/uuid > ${CONFIG_DIR}/device_id fi - - # # See if we need to process a config file # @@ -123,7 +131,7 @@ then # ( cd ${CONFIG_DIR} - ${SELF_DIR}/setup_gen rvi ${CONFIG_FILE} rvi + ${SELF_DIR}/scripts/setup_gen rvi ${CONFIG_FILE} rvi ) # Did we succeed with config generation? @@ -136,7 +144,7 @@ then fi TMP_DIR=/tmp/rvi/$(basename ${CONFIG_FILE} .config) -LOG_DIR=${LOG_DIR:=${TMP_DIR}/log} +LOG_DIR=${LOG_DIR:=${TMP_DIR}/rvi/log} LAUNCH="${ERL} -boot ${CONFIG_DIR}/rvi/start -sname ${SNAME} -config ${CONFIG_DIR}/rvi/sys -setcookie ${COOKIE}" @@ -152,11 +160,11 @@ case "${CMD}" in ;; stop) - exec ${SELF_DIR}/nodetool -sname ${SNAME} -setcookie ${COOKIE} stop + exec ${SELF_DIR}/scripts/nodetool -sname ${SNAME} -setcookie ${COOKIE} stop ;; ping) - exec ${SELF_DIR}/nodetool -sname ${SNAME} -setcookie ${COOKIE} ping + exec ${SELF_DIR}/scripts/nodetool -sname ${SNAME} -setcookie ${COOKIE} ping ;; attach) |