micro/assets/packaging/deb/micro.prerm

mirror of https://github.com/Hopiu/micro.git synced 2026-04-09 17:20:57 +00:00
#!/bin/sh

set -e

if [ "$1" != "upgrade" ]; then
    update-alternatives --remove editor /usr/bin/micro
fi
Add support for alternatives system in Debian package (#1935) * Allows for micro to be selectable in the `editor` group * Use same priority as in the nano package Ref: https://wiki.debian.org/DebianAlternatives 2021-11-17 23:51:40 +00:00			`#!/bin/sh`

			`set -e`

			`if [ "$1" != "upgrade" ]; then`
			`update-alternatives --remove editor /usr/bin/micro`
			`fi`