summaryrefslogtreecommitdiff
path: root/src/GF/Command/Commands.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/GF/Command/Commands.hs')
-rw-r--r--src/GF/Command/Commands.hs18
1 files changed, 16 insertions, 2 deletions
diff --git a/src/GF/Command/Commands.hs b/src/GF/Command/Commands.hs
index 22978cc6c..691121bde 100644
--- a/src/GF/Command/Commands.hs
+++ b/src/GF/Command/Commands.hs
@@ -87,6 +87,20 @@ commandHelp full (co,info) = unlines $ [
-- this list must no more be kept sorted by the command name
allCommands :: String -> PGF -> Map.Map String CommandInfo
allCommands cod pgf = Map.fromList [
+ ("!", emptyCommandInfo {
+ synopsis = "system command: escape to system shell",
+ syntax = "! SYSTEMCOMMAND",
+ examples = [
+ "! ls *.gf -- list all GF files in the working directory"
+ ]
+ }),
+ ("?", emptyCommandInfo {
+ synopsis = "system pipe: send value from previous command to a system command",
+ syntax = "? SYSTEMCOMMAND",
+ examples = [
+ "gt | l | ? wc -- generate, linearize, word-count"
+ ]
+ }),
("cc", emptyCommandInfo {
longname = "compute_concrete",
syntax = "cc (-all | -table | -unqual)? TERM",
@@ -443,7 +457,7 @@ allCommands cod pgf = Map.fromList [
("sp", emptyCommandInfo {
longname = "system_pipe",
synopsis = "send argument to a system command",
- syntax = "sp -command=\"SYSTEMCOMMAND\" STRING",
+ syntax = "sp -command=\"SYSTEMCOMMAND\", alt. ? SYSTEMCOMMAND",
exec = \opts arg -> do
let tmpi = "_tmpi" ---
let tmpo = "_tmpo"
@@ -456,7 +470,7 @@ allCommands cod pgf = Map.fromList [
("command","the system command applied to the argument")
],
examples = [
- "ps -command=\"wc\" \"foo\"",
+ "sp -command=\"wc\" \"foo\"",
"gt | l | sp -command=\"grep \\\"who\\\"\" | sp -command=\"wc\""
]
}),