#!/usr/bin/sh

. /etc/profile.d/modules.sh
exec /usr/lib64/Singular/TSingular --singular /usr/bin/Singular "$@"
