summaryrefslogtreecommitdiff
path: root/src/GF/Shell
diff options
context:
space:
mode:
authoraarne <unknown>2004-12-29 13:48:41 +0000
committeraarne <unknown>2004-12-29 13:48:41 +0000
commit46f85fb13a569e27863565b4ec99800038e3fd68 (patch)
tree7ed6a706c39192140bf768caf7e55559a1672926 /src/GF/Shell
parentbba1cb2d108225f6078b6a12af3cc9256329ac7b (diff)
command cm
Diffstat (limited to 'src/GF/Shell')
-rw-r--r--src/GF/Shell/PShell.hs2
-rw-r--r--src/GF/Shell/ShellCommands.hs3
2 files changed, 4 insertions, 1 deletions
diff --git a/src/GF/Shell/PShell.hs b/src/GF/Shell/PShell.hs
index ff447fc6d..dd62067f2 100644
--- a/src/GF/Shell/PShell.hs
+++ b/src/GF/Shell/PShell.hs
@@ -68,6 +68,8 @@ pCommand ws = case ws of
"i" : f : [] -> aUnit (CImport f)
"rl" : l : [] -> aUnit (CRemoveLanguage (language l))
"e" : [] -> aUnit CEmptyState
+ "cm" : a : [] -> aUnit (CChangeMain (Just (pzIdent a)))
+ "cm" : [] -> aUnit (CChangeMain Nothing)
"s" : [] -> aUnit CStripState
"tg" : f : [] -> aUnit (CTransformGrammar f)
"cl" : f : [] -> aUnit (CConvertLatex f)
diff --git a/src/GF/Shell/ShellCommands.hs b/src/GF/Shell/ShellCommands.hs
index e30b8010b..a3e5d3b94 100644
--- a/src/GF/Shell/ShellCommands.hs
+++ b/src/GF/Shell/ShellCommands.hs
@@ -20,6 +20,7 @@ data Command =
CImport FilePath
| CRemoveLanguage Language
| CEmptyState
+ | CChangeMain (Maybe I.Ident)
| CStripState
| CTransformGrammar FilePath
| CConvertLatex FilePath
@@ -161,7 +162,7 @@ optionsOfCommand co = case co of
CWriteFile _ -> none
CAppendFile _ -> none
CSpeakAloud -> flags "language"
- CPutString -> flags "filter length"
+ CPutString -> both "utf8" "filter length"
CShowTerm -> flags "printer"
CSystemCommand _ -> none