<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