grc icon indicating copy to clipboard operation
grc copied to clipboard

File `grc.bashrc` missing in the Debian package

Open ferenczy opened this issue 6 years ago • 5 comments

I'm not sure if this is the right place to report it, it depends on who's maintaining the Debian package, but the Debian package in Debian 10's repository is missing the alias file for bash /etc/grc.bashrc. There're only grc.fish and grc.zsh files.

BTW there's an inconsistency in the naming of those files - in case of fish and zsh, the alias file contains the name of the shell, but in case of bash, it contains the name of bash's configuration file.

ferenczy avatar Oct 15 '19 11:10 ferenczy

same here, bash is probably more widely used, it surprises me there is no grc.bash on ubuntus

laoshaw avatar Aug 02 '20 14:08 laoshaw

Came to report this. For whatever reason it's just not installed.

$ dpkg -s grc
Package: grc
Status: install ok installed
Priority: optional
Section: text
Installed-Size: 185
Maintainer: Ubuntu Developers <[email protected]>
Architecture: all
Version: 1.11.3-1
Depends: python3:any
Conffiles:
 /etc/grc.conf 85a82cd347fb1da126661498efb52e71
 /etc/grc.fish 7ec1b5b09bdb2e8283f0bfd98b223b8b
 /etc/grc.zsh c45930309dbce3d21a2a950439d7f53c
Description: generic colouriser for everything
 generic colouriser, can be used to colourise logfiles,
 output of commands, arbitrary text....
 configured via regexp's.
Original-Maintainer: Radovan Garabík <[email protected]>

I'm not sure why, but it's specifically removed here: https://github.com/garabik/grc/blob/master/debian/rules#L23

Not much to go on from the commit either, but clearly intentional. https://github.com/garabik/grc/commit/8baa92d61616ba1dcf61a6cbebb7786a096e8194

lylemoffitt avatar Dec 28 '20 02:12 lylemoffitt

@garabik could explain the reason I guess.

ferenczy avatar Mar 25 '21 00:03 ferenczy

I see that grc.sh is copied to /etc/profile.d/ by install.sh, but grc.fish and grc.zsh get copied to /etc/, I'm not sure why the difference.

Usually for bash, whatever you put in /etc/profile.d/ gets sourced from /etc/profle, I don't know how fish an zsh work in that regard.

Should the three files be copied to /etc/profile.d/?

richarson avatar Mar 25 '21 16:03 richarson

There's a good case for grc.sh not being in /etc/profile.d/: grc.sh unnecessary double source; variable #199

The file gets sourced before the flag can be set by the user -- not all users are root :)

HaleTom avatar Dec 08 '21 08:12 HaleTom