#!/bin/sh -f

export TCLLIBPATH="none /usr/lib/x86_64-linux-gnu /usr/lib/x86_64-linux-gnu/libtk.so none"; \
export TK_LIBRARY="/usr/lib/x86_64-linux-gnu/libtk.so"; \
export PATH="none":"/usr/bin":$PATH; \
exec ibis "$@" <<EOF

set argv0 ibdiagui
package require ibdiagui

EOF
