2015-11-25 09:34:11 +01:00
|
|
|
grc (generic colouriser)
|
|
|
|
|
|
2017-01-29 00:08:35 +01:00
|
|
|
grc provides two programs: grc and grcat. The main is grcat, which
|
|
|
|
|
acts as a filter, i.e. taking standard input, colourising it and
|
|
|
|
|
writing to standard output. grcat takes as a parameter the name of
|
2015-11-25 09:34:11 +01:00
|
|
|
configuration file.
|
|
|
|
|
|
2017-02-12 21:48:37 +01:00
|
|
|
NOTE: to use, add following lines into your ~/.bashrc, ~/.zshrc or in
|
2017-01-29 00:08:35 +01:00
|
|
|
~/.config/fish/config.fish:
|
2015-11-25 09:34:11 +01:00
|
|
|
|
2017-02-12 21:48:37 +01:00
|
|
|
[[ -s "/etc/profile.d/grc.bashrc" ]] && source /etc/profile.d/grc.bashrc
|
|
|
|
|
[[ -s "/etc/profile.d/grc.zsh" ]] && source /etc/profile.d/grc.zsh
|
|
|
|
|
[[ -s "/etc/profile.d/grc.fish" ]] && source /etc/profile.d/grc.fish
|
