diff options
| author | hallgren <hallgren@chalmers.se> | 2015-08-12 11:05:08 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-08-12 11:05:08 +0000 |
| commit | 6fff2def393663522f86e13e2536a9e111e8b2cd (patch) | |
| tree | 777c40abe073299992f937f025b239e448672f59 /gf.cabal | |
| parent | 063912c3861d73c0b3cc036394476a4af8eec782 (diff) | |
GF shell: source commands (cc, sd, so, ss & dg) can now be used in pipes
These commands are now implemented as regular commands (i.e. using the
CommandInfo data type) in the new module GF.Command.SourceCommands.
The list of commands exported from GF.Command.Commmands now called pgfCommands
instead of allCommands.
The list allCommands of all commands is now assembled
from sourceCommands, pgfCommands, commonCommands and helpCommand in
GF.Interactive.
Diffstat (limited to 'gf.cabal')
| -rw-r--r-- | gf.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -165,6 +165,7 @@ Library GF.Command.CommandInfo GF.Command.Commands GF.Command.CommonCommands + GF.Command.SourceCommands GF.Command.Help GF.Command.Importing GF.Command.Interpreter |