zyedidia/micro
1
1
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2024-09-19 07:57:49 +03:00
Code Issues Projects Releases Wiki Activity
8333f7dcd5
micro/assets/packaging/deb
History
Hugo Hromic 0bbc3e7e3d
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 15:51:40 -08:00
..
micro.postinst Add support for alternatives system in Debian package (#1935) 2021-11-17 15:51:40 -08:00
micro.prerm Add support for alternatives system in Debian package (#1935) 2021-11-17 15:51:40 -08:00