From a78acc722ec26be2be20f22f74e98329d57008b1 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 5 Oct 2005 19:02:19 +0000
Subject: grep etc

---
 src/GF/Shell/ShellCommands.hs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'src/GF/Shell/ShellCommands.hs')

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"
-- 
cgit v1.2.3