Fix script to create workspace for gapL

In GAP 4.12. gap is always started without readline when standard
input is not a terminal.
Instead of redirecting input we now read a file.

gapsync/CreateWorkspace.sh

@@ -6,33 +6,13 @@
 # containing 'bin', 'lib', 'pkg' and so on as subdirectories) to 
 # generate a workspace file:
 #     bin/wsgap4
-#
-
-wsname=wsgap4
-
-./gap -l `pwd`"/local;"`pwd`  -r > /dev/null <<EOF
-
-# load here all packages you want to include in the standard workspace
-for nam in [ "atlasrep", "autpgrp", "browse", "cohomolo", "crisp", "cryst", 
-      "crystcat", "ctbllib", "datastructures", "edim", "factint", "format", 
-      "grape", "grpconst", "guava", "kbmag", "laguna", "quagroup", "zeromq" ] 
-do
-  LoadPackage(nam);
-od;
-Unbind(nam);
-
-# load help book infos with a dummy help query
-??blablfdfhskhks
+# The file reads gapsync/dostartforws.g before saving the workspace.
+# 
+# You can customize the content of the workspace by copying 
+# gapsync/CreateWorkspace.sh to local/bin/CreateWorkspace.
 
-# a small trick to make everything sensible available to the TAB completion
-function() local a; for a in NamesGVars() do if ISB_GVAR(a) then
-VAL_GVAR(a); fi;od;end;
-last();
 
-# save the workspace
-SaveWorkspace("bin/$wsname");
 
-quit;
-EOF
+./gap -l `pwd`"/local;"`pwd`  -r  gapsync/dostartforws.g > /dev/null
 
 

gapsync/dostartforws.g

@@ -0,0 +1,22 @@
+
+# load here all packages you want to include in the standard workspace
+for nam in [ "atlasrep", "autpgrp", "browse", "cohomolo", "crisp", "cryst", 
+      "crystcat", "ctbllib", "datastructures", "edim", "factint", "format", 
+      "grape", "grpconst", "guava", "kbmag", "laguna", "quagroup", "zeromq",
+      "standardff" ] 
+do
+  LoadPackage(nam);
+od;
+Unbind(nam);
+
+# load help book infos with a dummy help query
+??blablfdfhskhks
+
+# a small trick to make everything sensible available to the TAB completion
+function() local a; for a in NamesGVars() do if ISB_GVAR(a) then VAL_GVAR(a); fi;od;end();
+
+# save the workspace
+SaveWorkspace("bin/wsgap4");
+
+QUIT;
+