/usr/bin/thepeg is in thepeg-gui 1.8.0-1.1.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | #!/bin/sh
pkglibdir=/usr/lib/x86_64-linux-gnu/ThePEG
bindir=/usr/bin
ThePEG_CMD="${bindir}/setupThePEG"
if [ $# -gt 1 ]; then
if [ "$1" = "-v" ]; then
echo "We do not support multiple version of ThePEG in Debian."
exit 1
fi
fi
HEADLESS=""
if [ "$1" = "--classcheck" ]; then
HEADLESS="-Djava.awt.headless=true"
fi
exec /usr/bin/java ${HEADLESS} -jar /usr/share/java/ThePEG.jar ${ThePEG_CMD} "$@"
|