script2.stx
author Claus Gittinger <cg@exept.de>
Sat, 13 Oct 2018 18:17:08 +0200
changeset 1583 825a2629e6d7
parent 1509 f339eb9c0672
permissions -rwxr-xr-x
*** empty log message ***
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1509
f339eb9c0672 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1498
diff changeset
     1
#!/usr/bin/env stx --script
1498
71eac66f2d96 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1474
diff changeset
     2
1348
3017bd51f88e *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     3
"/
3017bd51f88e *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     4
"/ notice that you can open more tools from the workspace
3017bd51f88e *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     5
"/ (i.e. eval: NewLauncher open)
3017bd51f88e *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     6
"/
1393
4d8585c39345 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1348
diff changeset
     7
Workspace open.
4d8585c39345 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1348
diff changeset
     8
'done' printCR.