reload command in shell

This commit is contained in:
aarne
2011-08-25 15:58:38 +00:00
parent 1fccece30c
commit 6757ab2b41
3 changed files with 21 additions and 6 deletions

View File

@@ -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",