9 lines
130 B
Bash
9 lines
130 B
Bash
#!/bin/sh
|
|
|
|
USERDB="$HOME/.polyml/ML_dbase"
|
|
if [ ! -f "$USERDB" ]; then
|
|
USERDB=""
|
|
fi
|
|
|
|
exec %%PREFIX%%/lib/polyml/poly $USERDB $*
|
|
|