# profile mit lokalen Anpassungen
				
if [ -f /etc/local/profile.common ]; then 
  . /etc/local/profile.common
fi

## Setzt Printer für DVIPS (und andere?)
#PRINTER=lpr
#export PRINTER

## auf dem Rechner, auf dem diese Variable gesetzt ist, 
## wird fetchmail aktiviert
#MAILHOST=`hostname`
#export MAILHOST

## proxy
# export http_proxy="http://fw-bln-proxy.rki.ivbb.bund.de:8020"
# ... besser
for profile in `find /etc/profile.d -mindepth 1` ; do
	. $profile
done
