PATH="$PATH:$HOME/bin" w setup
Tomasz Wittner
lists at mmt.pl
Fri Aug 6 01:09:16 CEST 2004
Pakiet setup, /etc/profile:
[...]
echo "$PATH" | grep -q "$HOME/bin" || PATH="$PATH:$HOME/bin"
[...]
Dobra - a "mnie" bardziej pasuje PATH="$HOME/bin:$PATH"
Mogę sobie oczywiście zmienić (i to robię, ze względu na linki dla ccache,
jakieś skrypty do budowania - zmodyfikowany skrypt builder), ale czy są
jakieś przeciw PATH="$HOME/bin:$PATH" ?
--
Tomasz Wittner
More information about the pld-devel-pl
mailing list