/usr/lib/petscdir/3.7.5/x86_64-linux-gnu-complex/bin/saws/getSAWs.bash is in libpetsc-complex-3.7.5-dev 3.7.5+dfsg1-4+b1.
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}"
|