diff options
| author | aarne <aarne@cs.chalmers.se> | 2009-04-14 08:12:45 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2009-04-14 08:12:45 +0000 |
| commit | f3fdd5ea2d77174fdc89447761c66043174556a6 (patch) | |
| tree | 926b11b1f793ea288077bd912ca15d9b08fd6664 /src/GF/Command | |
| parent | 63ccad9e857826fcb3382a1de9090d8c731b6f3a (diff) | |
on-line course announced on the summer school page
Diffstat (limited to 'src/GF/Command')
| -rw-r--r-- | src/GF/Command/Commands.hs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/GF/Command/Commands.hs b/src/GF/Command/Commands.hs index 625573545..7534554de 100644 --- a/src/GF/Command/Commands.hs +++ b/src/GF/Command/Commands.hs @@ -134,8 +134,8 @@ allCommands cod env@(pgf, mos) = Map.fromList [ options = [ ], flags = [ - ("format","format of the visualization file (default \"ps\")"), - ("view","program to open the resulting file (default \"gv\")") + ("format","format of the visualization file (default \"png\")"), + ("view","program to open the resulting file (default \"open\")") ] }), @@ -569,8 +569,8 @@ allCommands cod env@(pgf, mos) = Map.fromList [ ("nocat","don't show categories but only functions") ], flags = [ - ("format","format of the visualization file (default \"ps\")"), - ("view","program to open the resulting file (default \"gv\")") + ("format","format of the visualization file (default \"png\")"), + ("view","program to open the resulting file (default \"open\")") ] }), ("wf", emptyCommandInfo { @@ -645,8 +645,8 @@ allCommands cod env@(pgf, mos) = Map.fromList [ Just ty -> ty Nothing -> error ("Can't parse '"++str++"' as type") optComm opts = valStrOpts "command" "" opts - optViewFormat opts = valStrOpts "format" "ps" opts - optViewGraph opts = valStrOpts "view" "gv" opts + optViewFormat opts = valStrOpts "format" "png" opts + optViewGraph opts = valStrOpts "view" "open" opts optNum opts = valIntOpts "number" 1 opts optNumInf opts = valIntOpts "number" 1000000000 opts ---- 10^9 |