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