blob: f452accdaa15cfdbd3cb3647a83fdcd369b419f7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# 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
fi
|
