diff options
| author | hallgren <hallgren@chalmers.se> | 2015-08-18 13:13:31 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-08-18 13:13:31 +0000 |
| commit | 41075fb50a846ef0ae9851b99a3468bc0e405988 (patch) | |
| tree | 92ac4a600a899227f1f064ab1bd45e5d1f06016d /src/compiler/GF/Command/CommonCommands.hs | |
| parent | 17e7a01ae1ab33158273f7370251185b430b41cd (diff) | |
GF shell: restore the eh command to working order and document it
Also, when the command line parser fails, append the problematic command line
to the error message "command not parsed".
Diffstat (limited to 'src/compiler/GF/Command/CommonCommands.hs')
| -rw-r--r-- | src/compiler/GF/Command/CommonCommands.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/compiler/GF/Command/CommonCommands.hs b/src/compiler/GF/Command/CommonCommands.hs index 8774c0a8d..63dba526d 100644 --- a/src/compiler/GF/Command/CommonCommands.hs +++ b/src/compiler/GF/Command/CommonCommands.hs @@ -71,6 +71,11 @@ commonCommands = fmap (mapCommandExec liftSIO) $ Map.fromList [ longname = "empty", synopsis = "empty the environment" }), + ("eh", emptyCommandInfo { + longname = "execute_history", + syntax = "eh FILE", + synopsis = "read commands from a file and execute them" + }), ("ph", emptyCommandInfo { longname = "print_history", synopsis = "print command history", |