micro
micro copied to clipboard
zyedidia
A modern and intuitive terminal-based text editor
Learning a new set of keybindings is a bit of a barrier towards adopting a new editor. A drop-in-ready replacement bindings.json instead of manually editing or scouring the internet for...
The keybinding Ctrl-c works fine in my terminal but does not work on micro even if it's set on bindings.json. The copy function works ok if I press Ctrl-Shift-c. Ctrl-v...
## Description of the problem or steps to reproduce I installed the micro editor using snap on my Linux-based google cloud instance, and then tried to install comment plugin by...
As noted in https://github.com/zyedidia/micro/issues/174#issuecomment-367855348 It would be nice if Micro had an inbuilt LSP client. This means we could then use Micro to talk to a whole bunch of LSP...
Regularily, one to three times a day, an instance of micro I already closed starts eating away all my memory, and I need to kill. It doesn't impact the opened...
## Description of the problem or steps to reproduce Fatal: Micro could not initialize a Screen. Install from `curl https://getmic.ro | bash` and run it. ## Specifications Running KDE Plasma...
Micro has become my regular editor over the last year or so, but the lack of a diff mode has limited it's utility for me. I would love to be...
## Description of the problem or steps to reproduce Since 2.0.0 i cant use the internal plugin manager to install plugins like any plugin. It sometimes returns I/O timeout and...
## Description of the problem or steps to reproduce I'd like to be able to make Micro dynamically react to OS-wide dark theme setting. To do this, I'd like to...
I'm sure this isn't a new problem but it is new to me. I installed micro on Raspberry Pi 4 just this week using: curl https://getmic.ro | bash Up to...
