<>

2.10. Add /opt/ path

Add 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