Sophie
# Set DSSI_PATH for Bash shell if [ -n "\$DSSI_PATH" ]; then export DSSI_PATH="/usr/lib/dssi" fi