/usr/lib/petscdir/3.7.7/x86_64-linux-gnu-real-debug/bin/saws/getSAWs.bash is in libpetsc3.7.7-dbg 3.7.7+dfsg1-2build5.
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 | #!/bin/bash
#
# getSAWs.bash [dir1[/dir2[/variablename]]]
#
#
if [ "${SAWS_HOST}foo" == "foo" ]; then export SAWS_HOST=localhost; fi
if [ "${SAWS_PORT}foo" == "foo" ]; then export SAWS_PORT=8080; fi
if [ $# == 1 ]; then
export mem=$1;
else
export mem="*";
fi
curl --silent --show-error "${SAWS_HOST}:${SAWS_PORT}/SAWs/${mem}"
|