Micro: Making File Editing Easier in Linux Terminal mardi 6 septembre 2022 à 09:44 micro peut être une alternative intéressant à nano (éditeur de texte dans un terminal).(Permalink)