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

updated mps-youtube (0.2.5 -> 0.2.8)
author Hans-G?nter Theisgen
date Wed May 01 11:16:10 2019 +0100 (2019-05-01)
parents
children
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/8086tiny/stuff/8086tiny.sh	Wed May 01 11:16:10 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