GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-14 15:29:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

grep etc

Browse Source
This commit is contained in:
aarne
2005-10-05 19:02:19 +00:00
parent 1703bb826e
commit a78acc722e
12 changed files with 102 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/GF/Shell/ShellCommands.hs
View File

@@ -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"