# Profile for privileged shell

if [ -r /etc/profile ]; then . /etc/profile; fi