wok diff 8086tiny/stuff/8086tiny.sh @ rev 22051

updated tree (1.6.0 -> 1.8.0)
author: Hans-G?nter Theisgen
date: Tue Oct 22 16:30:18 2019 +0100 (2019-10-22)
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/8086tiny/stuff/8086tiny.sh	Tue Oct 22 16:30:18 2019 +0100
     1.3 @@ -0,0 +1,10 @@
     1.4 +#!/bin/sh
     1.5 +
     1.6 +if [ ! -e "$1" ]; then
     1.7 +	echo "Usage: $0 fd_image [hd_image]"
     1.8 +else
     1.9 +	clear
    1.10 +	stty cbreak raw -echo min 0
    1.11 +	${TINY8086:-/usr/bin/8086tiny} /usr/share/8086tiny/bios "$@"
    1.12 +	stty cooked echo
    1.13 +fi