mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-17 20:40:26 +09:00
0bbc3e7e3d
* Allows for micro to be selectable in the `editor` group * Use same priority as in the nano package Ref: https://wiki.debian.org/DebianAlternatives
8 lines
108 B
Bash
Executable File
8 lines
108 B
Bash
Executable File
#!/bin/sh
|
|
|
|
set -e
|
|
|
|
if [ "$1" != "upgrade" ]; then
|
|
update-alternatives --remove editor /usr/bin/micro
|
|
fi
|