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
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
2 matches
Mail list logo
