💾 Archived View for freeshell.de › tldr › micro.gmi captured on 2022-06-11 at 22:11:00. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2022-04-28)

-=-=-=-=-=-=-

micro

Micro is a modern and intuitive terminal-based text editor.
You can use your keyboard, but also your mouse to navigate and/or select text.

More information.

micro {file}
Ctrl + S
Ctrl + K
Ctrl + F "{pattern}" <Enter>
Ctrl + E {command} <Enter>
Ctrl + E replaceall "{pattern}" "{replacement}" <Enter>
Ctrl + Q
Copyright © 2014—present the tldr-pages team and contributors.
This work is licensed under the Creative Commons Attribution 4.0 International License (CC-BY).

CC-BY