/usr/bin/basexgui is in basex 7.0.2-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 | #!/bin/sh
# Wrapper to start basex gui mode.
#
# (c) 2011 Alexander Holupirek <alex@holupirek.de>, BSD
#
#DEBUG_WRAPPER=1
. /usr/lib/java-wrappers/java-wrappers.sh
find_java_runtime java6
find_jars /usr/share/java/basex.jar
run_java org.basex.BaseXGUI "$@"
|