various fixes

[automated-distro-installer] / myfai-chboot

diff --git a/myfai-chboot b/myfai-chboot
index cbba8b5b97abe269d5e4b41b138e9b31fd1256aa..db19cb63077d4555d6527546f670a614f515ac4a 100755 (executable)
--- a/myfai-chboot
+++ b/myfai-chboot
@@ -33,6 +33,18 @@ case $1 in
   -h|--help) usage ;;
 esac
 
+kgped16=false # default
+temp=$(getopt -l help hk "$@") || usage 1
+eval set -- "$temp"
+while true; do
+  case $1 in
+    -k) kgped16=true; shift ;;
+    -h|--help) usage ;;
+    --) shift; break ;;
+    *) echo "$0: Internal error! unexpected args: $*" ; exit 1 ;;
+  esac
+done
+
 
 host=$(./chost faiserver)
 ssh root@$host bash -s -- "$@" <myfai-chboot-local