diff options
Diffstat (limited to 'navi')
-rwxr-xr-x | navi | 38 |
1 files changed, 38 insertions, 0 deletions
@@ -0,0 +1,38 @@ +#!/bin/bash + +x='' + +help='' +args='' +argc=0 +while [ $# -gt 0 ]; do + case $1 in + --x|-x) x='1';; + --help|-h) help='1';; + *) args="$args $1"; argc=$(($argc+1));; + esac + shift +done +set -- $args + +usage () { + echo "Usage: $(basename $0) [-x] [{target}]" +} + +if [ "x$1" != "x" ]; then + target=$1 + shift +fi + +[ $# -gt 0 ] && help='1' + +if [ $help ]; then + usage + exit 1 +fi + +prg=/usr/bin/dos +[ $x ] && prg=/usr/bin/xdos +[ -x $prg ] || prg=/usr/bin/xdosemu + +$prg -f ~/$target/.dosemurc |