annotate package-files/linux/deb/postrm @ 31:99a0eb385c9a default tip

Work around annoying Swing glitch.
author David Barts <n5jrn@me.com>
date Sat, 20 Aug 2022 09:19:49 -0700
parents c310ec097194
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
28
c310ec097194 Add Linux support.
David Barts <n5jrn@me.com>
parents:
diff changeset
1 #!/bin/sh
c310ec097194 Add Linux support.
David Barts <n5jrn@me.com>
parents:
diff changeset
2 set -e
c310ec097194 Add Linux support.
David Barts <n5jrn@me.com>
parents:
diff changeset
3 if [ -x "`which update-menus 2>/dev/null`" ]; then update-menus ; fi