4 if [ "$1" = remove ] || [ "$1" = deconfigure ]; then
5 update-alternatives --remove x-window-manager /usr/bin/pwm3
6 update-alternatives --remove x-window-manager /usr/bin/ion3
7 update-alternatives --remove ion /usr/bin/ion3
10 if [ "$1" = remove ]; then
11 rm -f /var/lib/ion3/debian-menu.lua
12 rm -f /var/lib/ion3/debian-menu-i18n.lua