diff options
author | Jonas Smedegaard <dr@jones.dk> | 2002-02-28 14:09:04 +0000 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2002-02-28 14:09:04 +0000 |
commit | cafcd5d4368e57f162a641ed3f4835ecb5a6d391 (patch) | |
tree | 56166fbf16289d8b388cf0f1f9b51e28c3c4bdf9 /navi |
Initial revision
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 |