blob: 028ea70e93ce008deed183c1101657323d89812b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#!/bin/sh
set -e
if [ -x /usr/bin/update-menus ]; then
update-menus
fi
if [ remove = "$1" ]; then
dpkg-divert --quiet --package alpine --remove --rename \
--divert /usr/bin/clone-editor-moved /usr/bin/pico
dpkg-divert --quiet --package alpine --remove --rename \
--divert /usr/share/man/man1/clone-editor-moved.1.gz \
/usr/share/man/man1/pico.1.gz
fi
|
