#519 Modify oxygen settings

issp-center-dev · Jul 6, 2017 · 86a0fe7 · 86a0fe7
1 parent 2a74838
commit 86a0fe7
Show file tree

Hide file tree

Showing 2 changed files with 216 additions and 257 deletions.
diff --git a/HPhiconfig.sh b/HPhiconfig.sh
@@ -10,6 +10,16 @@ read yesno
 if [ -z ${yesno} ] || [ ! ${yesno} = "yes" ]; then
     exit
 fi
+echo -n "  Really, really continue ? yes/no [no] : "
+read yesno
+if [ -z ${yesno} ] || [ ! ${yesno} = "yes" ]; then
+    exit
+fi
+echo -n "  Quit ? yes/no [yes] : "
+read yesno
+if [ -z ${yesno} ] || [ ! ${yesno} = "no" ]; then
+    exit
+fi
 
 if [ -z ${1} ] || [ ${1} = "help" ]; then
     echo ""