diff etc/setup_as_dml.sh @ 13:2059c4f64feb

Some more refinements to install scripts.

--- a/etc/setup_as_dml.sh	Mon Jan 19 14:23:19 2015 +0000
+++ b/etc/setup_as_dml.sh	Mon Jan 19 14:38:58 2015 +0000
@@ -2,8 +2,8 @@
 # ------------------ CONFIG ----------------
 
 INSTALL_SWI=no
-SS_USER=samer
-MAKE_HUMDRUM=no
+SS_USER=<DML_USER_NAME HERE>
+MAKE_HUMDRUM=yes
 
 # ------------------ END OF CONFIG ---------
 
@@ -37,9 +37,12 @@
 	if [ -a "$name" ]; then
 		echo "Aready existing in $1: $2."
 	else
-		echo "I am going to download into $1 from $2."
-		echo "You may be asked for a password."
-		wget --user=$SS_USER --ask-password "$2"
+		echo "Please download from $2 and put it in $1."
+		exit 1
+#		echo "I am going to download into $1 from $2."
+#		echo "You may be asked for a password."
+#		wget --user=$SS_USER --ask-password "$2"
+#		wget "$2"
 	fi
 }