On 01. 07. 20 18:33, Michael Catanzaro wrote:
On Wed, Jul 1, 2020 at 11:28 am, Michael Catanzaro
<mcatanzaro(a)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)
BTW My keyboard bindings for micro that resemble a standard (modern) terminal
session more:
https://gist.github.com/hroncok/f7bc01080e3b72320b858c437af92151
--
Miro Hrončok
--
Phone: +420777974800
IRC: mhroncok