diff options
| author | aarne <aarne@chalmers.se> | 2011-08-25 15:58:38 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2011-08-25 15:58:38 +0000 |
| commit | 6757ab2b41a9dc6c74f6184b8d0846970753e9fc (patch) | |
| tree | 3d242e56536986c3cd8b0fb9ddf9c5282c7bebb2 /src/compiler/GF/Command | |
| parent | 1fccece30c6da8a872499cf8bf0eaa9c7af2522a (diff) | |
reload command in shell
Diffstat (limited to 'src/compiler/GF/Command')
| -rw-r--r-- | src/compiler/GF/Command/Commands.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/compiler/GF/Command/Commands.hs b/src/compiler/GF/Command/Commands.hs index e7beec23e..543c05cb2 100644 --- a/src/compiler/GF/Command/Commands.hs +++ b/src/compiler/GF/Command/Commands.hs @@ -665,6 +665,10 @@ allCommands env@(pgf, mos) = Map.fromList [ longname = "quit", synopsis = "exit GF interpreter" }), + ("r", emptyCommandInfo { + longname = "reload", + synopsis = "repeat the latest import command" + }), ("rf", emptyCommandInfo { longname = "read_file", synopsis = "read string or tree input from a file", |