zyedidia/micro
1
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2025-06-18 23:05:40 -04:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
080d216ffd
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