From cd56e51ccbf5b0da06d5efafb10cd029e90c987f Mon Sep 17 00:00:00 2001 From: Winter Hille Date: Mon, 20 May 2024 22:00:35 -0700 Subject: [PATCH] added start-server script --- start-server | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100755 start-server diff --git a/start-server b/start-server new file mode 100755 index 0000000..50a4dd9 --- /dev/null +++ b/start-server @@ -0,0 +1,33 @@ +#!/bin/bash + +command="fennel main.fnl" +kill_command="pkill -f 'main\.fnl'" + +log_file="log" + +usage="Usage: start-server [-h] [-l] [--log-file] [-k] + +Options: + -h, --help Show this help message and exit + -l, --log Log requests in the log file + --log-file Set the log file + -k, --kill Kill the server and exit + +" + +for (( i=1; i<=$#; i++ )); do + if [[ "${!i}" == "-h" || "${!i}" == "--help" ]]; then + printf "$usage" + exit 0 + elif [[ "${!i}" == "-l" || "${!i}" == "--log" ]]; then + command="${command} | tee ${log_file}" + elif [[ "${!i}" == "--log-file" ]]; then + ((i++)) + log_file="${!i}" + elif [[ "${!i}" == "-k" || "${!i}" == "--kill" ]]; then + eval "$kill_command" + exit 0 + fi +done + +eval "${kill_command}; ${command} & disown"