<imghch AT gmail DOT com>
/opt/ pathAdd below script to /etc/profile.d/extrapaths.sh
for optdir in /opt/* ; do [ -d $optdir/bin ] && pathappend $optdir/bin [ -d $optdir/lib/pkgconfig ] && pathappend $optdir/lib/pkgconfig PKG_CONFIG_PATH done
The final /etc/profile.d/extrapaths.sh:
[ -d /usr/local/lib/pkgconfig ] &&
pathappend /usr/local/lib/pkgconfig PKG_CONFIG_PATH
[ -d /usr/local/bin ] &&
pathprepend /usr/local/bin
[ -d /usr/local/sbin -a $EUID -eq 0 ] &&
pathprepend /usr/local/sbin
[ -d ~/bin ] &&
pathprepend ~/bin
for optdir in /opt/* ; do
[ -d $optdir/bin ] && pathappend $optdir/bin
[ -d $optdir/lib/pkgconfig ] && pathappend $optdir/lib/pkgconfig PKG_CONFIG_PATH
done
#if [ $EUID -gt 99 ]; then
# pathappend .
#fi