#apt-cache search editor | cut -d " " -f 1 | sort > list_of_editors_apt-cache.txt
> il n'y avait pas de demande d'exhaustivité
Non, pas vraiment. Les deux solutions ont leur intérêt si on compare les
résultats. La solution apt-cache ne donne pas tous les éditeurs (ex. wily)
alors qu'il donne plus de résultats. La solution grep-dctrl donne peut-être la
toutela liste des éditeurs, mais aussi des trucs en plus (plus de 200 résultats).