diff options
Diffstat (limited to 'src-3.0/GF/Command/Commands.hs')
| -rw-r--r-- | src-3.0/GF/Command/Commands.hs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src-3.0/GF/Command/Commands.hs b/src-3.0/GF/Command/Commands.hs index 2a15be1c9..231f6db77 100644 --- a/src-3.0/GF/Command/Commands.hs +++ b/src-3.0/GF/Command/Commands.hs @@ -20,6 +20,7 @@ import GF.Infra.UseIO import GF.Data.ErrM ---- import PGF.ExprSyntax (readExp) import GF.Command.Abstract +import GF.Text.Lexing import Data.Maybe import qualified Data.Map as Map @@ -196,6 +197,13 @@ allCommands pgf = Map.fromList [ "example:\n"++ " ph | wf foo.hist -- save the history into a file" }), + ("ps", emptyCommandInfo { + longname = "put_string", + synopsis = "return a string, possibly processed with a function", + exec = \opts -> + return . fromString . maybe id id (stringOp (concatMap prOpt opts)) . toString, + flags = ["cat","lang"] + }), ("q", emptyCommandInfo { longname = "quit", synopsis = "exit GF interpreter" |
