diff options
| author | aarne <unknown> | 2005-10-05 19:02:19 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-10-05 19:02:19 +0000 |
| commit | a78acc722ec26be2be20f22f74e98329d57008b1 (patch) | |
| tree | 218294b2a57d3b6f8edce7730b9aa97d7537fadf /src/GF/Shell/ShellCommands.hs | |
| parent | 1703bb826e314eb78c15f846af1e76784f7759e2 (diff) | |
grep etc
Diffstat (limited to 'src/GF/Shell/ShellCommands.hs')
| -rw-r--r-- | src/GF/Shell/ShellCommands.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/GF/Shell/ShellCommands.hs b/src/GF/Shell/ShellCommands.hs index 9d6718faf..c2d2b367b 100644 --- a/src/GF/Shell/ShellCommands.hs +++ b/src/GF/Shell/ShellCommands.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/07/01 08:16:32 $ +-- > CVS $Date: 2005/10/05 20:02:20 $ -- > CVS $Author: aarne $ --- > CVS $Revision: 1.39 $ +-- > CVS $Revision: 1.40 $ -- -- The datatype of shell commands and the list of their options. ----------------------------------------------------------------------------- @@ -64,6 +64,7 @@ data Command = | CPutString | CShowTerm | CSystemCommand String + | CGrep String | CSetFlag | CSetLocalFlag Language @@ -193,6 +194,7 @@ optionsOfCommand co = case co of CShowTerm -> flags "printer" CShowTreeGraph -> opts "c f g o" CSystemCommand _ -> none + CGrep _ -> opts "v" CPrintGrammar -> both "utf8" "printer lang" CPrintMultiGrammar -> both "utf8 utf8id" "printer" |