wok diff 8086tiny/receipt @ rev 21005
updated gsettings-desktop-schemas (3.12.2 -> 3.28.1)
author | Hans-G?nter Theisgen |
---|---|
date | Sat Mar 09 09:43:51 2019 +0100 (2019-03-09) |
parents | a7a9bd1b47f4 |
children | d70ed9488748 |
line diff
1.1 --- a/8086tiny/receipt Fri Mar 23 13:08:29 2018 +0100 1.2 +++ b/8086tiny/receipt Sat Mar 09 09:43:51 2019 +0100 1.3 @@ -50,17 +50,5 @@ 1.4 [ -x "$src/8086tiny.nographics" ] && \ 1.5 cp -a $src/8086tiny.nographics $fs/usr/bin 1.6 cp -a $src/bios_source/bios $fs/usr/share/8086tiny 1.7 - cat > $fs/usr/bin/8086tiny.sh <<EOT 1.8 -#!/bin/sh 1.9 - 1.10 -if [ ! -e "\$1" ]; then 1.11 - echo "Usage: \$0 fd_image [hd_image]" 1.12 -else 1.13 - clear 1.14 - stty cbreak raw -echo min 0 1.15 - \${TINY8086:-/usr/bin/8086tiny} /usr/share/8086tiny/bios "\$@" 1.16 - stty cooked echo 1.17 -fi 1.18 -EOT 1.19 - chmod 755 $fs/usr/bin/8086tiny.sh 1.20 + cp $stuff/8086tiny.sh $fs/usr/bin 1.21 }