03 mars 2018
_année_2018 _mois_mars editor linux
zyedidia/micro: A modern and intuitive terminal-based text editor
J’adorerais installer ça à la place de nano … mais ça n’est pas forcément toujours possible