wok view puzzles/stuff/desktopfiles.sh @ rev 21835

updated re2c (0.13.5 -> 1.2.1)
author Hans-G?nter Theisgen
date Sat Sep 14 10:21:53 2019 +0100 (2019-09-14)
parents
children
line source
1 for i in ../puzzles-*/_pkg/usr/local/games/*
2 do
3 name=$(basename $i)
4 cp games.desktop.mk $name.desktop
5 sed -i -e "s/%%NAME%%/$name/" \
6 -e "s/%%EXEC%%/$name/" \
7 -e "s/%%ICONS%%/$name.png/" $name.desktop
8
9 done