#!/bin/sh

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