export PATH=/opt/rh/devtoolset-1.0/root/usr/bin${PATH:+:${PATH}}
export MANPATH=/opt/rh/devtoolset-1.0/root/usr/share/man${MANPATH:+:${MANPATH}}
export INFOPATH=/opt/rh/devtoolset-1.0/root/usr/share/info${INFOPATH:+:${INFOPATH}}
