diff options
Diffstat (limited to 'games/vera/douninst.sh')
| -rw-r--r-- | games/vera/douninst.sh | 21 |
1 files changed, 5 insertions, 16 deletions
diff --git a/games/vera/douninst.sh b/games/vera/douninst.sh index f452accdaa15c..1bef5020286ea 100644 --- a/games/vera/douninst.sh +++ b/games/vera/douninst.sh @@ -1,17 +1,6 @@ -# 20211015 bkw: I was going to have a douninst.sh that runs -# /usr/bin/install-info --delete /usr/info/xroar.info.gz /usr/info/dir -# but this won't work because removepkg has already deleted -# /usr/info/xroar.info.gz before it runs douninst.sh. And you can't -# use install-info to remove stuff *by name* from /usr/info/dir; -# the info file must actually exist. -# So the script has to manually remove the entry from the info dir, -# and the Emulators section if it's become empty. - -if [ -e usr/info/dir ]; then - # Remove the entry first: - sed -i '/^\* V\.E\.R.\A\.:/d' usr/info/dir - # If the Dictionaries section is empty now, remove it too: - if grep -A1 '^Dictionaries$' usr/info/dir | tail -1 | grep -q '^$'; then - sed -i '/^Dictionaries$/,+1d' usr/info/dir - fi +if [ -x /usr/bin/install-info -a -d usr/info ]; then + ( cd usr/info + rm -f dir + for i in *.info*; do /usr/bin/install-info $i dir 2>/dev/null; done + ) fi |