diff options
Diffstat (limited to 'src/GF/Command/Commands.hs')
| -rw-r--r-- | src/GF/Command/Commands.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/Command/Commands.hs b/src/GF/Command/Commands.hs index 8dcefece9..04ba13256 100644 --- a/src/GF/Command/Commands.hs +++ b/src/GF/Command/Commands.hs @@ -103,7 +103,7 @@ allCommands mgr = Map.fromAscList [ }), ("l", emptyCommandInfo { exec = \opts -> return . fromStrings . map (optLin opts), - options = ["record","table","term"], + options = ["all","record","table","term"], flags = ["lang"] }), ("p", emptyCommandInfo { @@ -117,6 +117,7 @@ allCommands mgr = Map.fromAscList [ optLin opts t = unlines [linea lang t | lang <- optLangs opts] where linea lang = case opts of + _ | isOpt "all" opts -> allLinearize gr (cid lang) _ | isOpt "table" opts -> tableLinearize gr (cid lang) _ | isOpt "term" opts -> termLinearize gr (cid lang) _ | isOpt "record" opts -> recordLinearize gr (cid lang) |