On Wed, 1 Jul 2020 at 18:54, Miro Hrončok <mhron...@redhat.com> wrote: > > On 01. 07. 20 18:33, Michael Catanzaro wrote: > > On Wed, Jul 1, 2020 at 11:28 am, Michael Catanzaro <mcatanz...@gnome.org> > > wrote: > >> I have not much opinion on whether we should use this vs. nano. > > > > Actually, playing with it for an extra three minutes... it's *really* nice. > > > > I know micro is not nearly as standard or popular as nano, but... this is > > worth > > serious additional consideration. > > I love micro. The problematic part is it's rather big. > > nano: 670 k > micro: 4.7 M > > (sizes from repoquery --info)
To be fair, we should add ncurses-libs and file-libs as dependencies: 330 k + 570 k = 900 k more. But yes, micro is still bigger, as its name suggests. :) > BTW My keyboard bindings for micro that resemble a standard (modern) terminal > session more: https://gist.github.com/hroncok/f7bc01080e3b72320b858c437af92151 That's very useful, thanks! -- Iñaki Úcar _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org
