Bug#488588: bash.bashrc should include bash.bashrc.local

2014-07-29 Thread Carlos Izquierdo
Please consider this, since it would ease mixing configuration tools such as Puppet (which would manage bash.bashrc.local on a per-host basis) and package management (which provide a sane default for everyone). -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subjec

Bug#488588:

2013-06-22 Thread Kernc
This is a very sane proposal. This way the administrator (which is these days the user herself) isn't necessarily bugged about package maintainer's file being newer than hers. ?#/&

Bug#488588: bash.bashrc should include bash.bashrc.local

2008-06-29 Thread nutzteil
Package: bash Version: 3.2-4 Severity: Wishlist testing-lenny Hello, want /etc/bash.bashrc to include a bash.bashrc.local, e.g. --- ... [ -r /etc/bash.bashrc.local ] && . /etc/bash.bashrc.local --- so i do not need to