#!/bin/sh -f

export TCLLIBPATH="none /usr/lib/aarch64-linux-gnu"; \
export PATH="none":"/usr/bin":$PATH; \
exec ibis "$@" <<EOF

set argv0 ibdiagnet
package require ibdiagnet

EOF
