wok view 8086tiny/stuff/8086tiny.sh @ rev 25020

updated openmpi and openmpi-dev (4.0.3 -> 4.1.3)
author Hans-G?nter Theisgen
date Wed May 18 08:05:48 2022 +0100 (2022-05-18)
parents
children
line source
1 #!/bin/sh
2
3 if [ ! -e "$1" ]; then
4 echo "Usage: $0 fd_image [hd_image]"
5 else
6 clear
7 stty cbreak raw -echo min 0
8 ${TINY8086:-/usr/bin/8086tiny} /usr/share/8086tiny/bios "$@"
9 stty cooked echo
10 fi