/usr/bin/basexgui is in basex 8.2.3-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 | #!/bin/sh
# Wrapper to start basex gui mode.
#
# (c) 2011-15 Alexander Holupirek <alex@holupirek.de>, BSD
#
#DEBUG_WRAPPER=1
. /usr/lib/java-wrappers/java-wrappers.sh
find_java_runtime java7
find_jars /usr/share/java/basex.jar
# Next jars are helpful (and therefore recommended by the package),
# but they are not necessary at all to run basex. As such, there is no
# need to print a warning message, if they are not found
find_jars /usr/share/java/tagsoup.jar 2>/dev/null
find_jars /usr/share/java/jline.jar 2>/dev/null
find_jars /usr/share/java/xml-resolver.jar 2>/dev/null
find_jars /usr/share/java/jing.jar 2>/dev/null
run_java org.basex.BaseXGUI "$@"
|