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  }