diff --git a/appimage/run_appimage.sh b/appimage/run_appimage.sh index 837ef5d3a..d31b41843 100644 --- a/appimage/run_appimage.sh +++ b/appimage/run_appimage.sh @@ -3,20 +3,12 @@ PYTHON_CMD="$APPDIR"/opt/python3.7/bin/python3.7 DOT_MONKEY="$HOME"/.monkey_island/ -configure_default_server() { - if [ ! -f "$DOT_MONKEY"/server_config.json ]; then - cp "$APPDIR"/usr/src/monkey_island/cc/server_config.json.standard "$DOT_MONKEY"/server_config.json - fi -} - # shellcheck disable=SC2174 mkdir --mode=0700 --parents "$DOT_MONKEY" DB_DIR="$DOT_MONKEY"/db mkdir --parents "$DB_DIR" -configure_default_server - cd "$APPDIR"/usr/src || exit 1 ./monkey_island/bin/mongodb/bin/mongod --dbpath "$DB_DIR" & ${PYTHON_CMD} ./monkey_island.py --server-config "$DOT_MONKEY"/server_config.json