Um editor de texto moderno e intuitivo baseado em terminal. Você pode usar seu teclado, mas também seu mouse para navegar e/ou selecionar texto. Mais informações: https://micro-editor.github.io.
micro {{caminho/para/arquivo}}
<Ctrl> + S
<Ctrl> + K
Ctrl + N
/Ctrl + P
para ir para a próxima/anterior correspondência):<Ctrl> + F "{{padrão}}" <Enter>
<Ctrl> + E {{comando}} <Enter>
<Ctrl> + E replaceall "{{padrão}}" "{{substituição}}" <Enter>
<Ctrl> + Q