diff options
author | Dominik Picheta <dominikpicheta@googlemail.com> | 2013-06-22 19:57:12 +0100 |
---|---|---|
committer | Dominik Picheta <dominikpicheta@googlemail.com> | 2013-06-22 19:57:12 +0100 |
commit | 9540a93d9542d9d1fed4f5a149156ba43da9be80 (patch) | |
tree | d009758039ab2dd7949741479a13b11fb9ff8e2e /tools | |
parent | 317675d5e574acc038a67723e8654b0efcd532e7 (diff) | |
download | Nim-9540a93d9542d9d1fed4f5a149156ba43da9be80.tar.gz |
Fixed terminal module so that it doesn't raise an EOS exception when stdout is redirected.
Diffstat (limited to 'tools')
-rw-r--r-- | tools/nimgrep.nim | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/nimgrep.nim b/tools/nimgrep.nim index fa14f9e8e..c7893fe78 100644 --- a/tools/nimgrep.nim +++ b/tools/nimgrep.nim @@ -32,6 +32,7 @@ Options: --ignoreCase, -i be case insensitive --ignoreStyle, -y be style insensitive --ext:EX1|EX2|... only search the files with the given extension(s) + --nocolor output will be given without any colours. --verbose be verbose: list every processed file --help, -h shows this help --version, -v shows the version @@ -291,6 +292,7 @@ for kind, key, val in getopt(): of "ignorecase", "i": incl(options, optIgnoreCase) of "ignorestyle", "y": incl(options, optIgnoreStyle) of "ext": extensions = val.split('|') + of "nocolor": useWriteStyled = false of "verbose": incl(options, optVerbose) of "help", "h": writeHelp() of "version", "v": writeVersion() |