#!/usr/bin/sh

. /etc/profile.d/modules.sh
export SINGULAR_DATA_DIR=/usr/share
exec /usr/lib64/Singular/Singular "$@"
