#!/bin/sh

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