#!/bin/sh -f

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

set argv0 ibdiagnet
package require ibdiagnet

EOF
