> > (au fait, comment fait-on pour obtenir la liste de tous les
> > editeurs dans debian ?).
Comparaison des deux solutions proposées :
#grep-dctrl -F Section -s Package editors /var/lib/apt/lists/*Packages* |cut -d":" -f 2|tr -d " " | sort > list_of_editors_grep-dctrl.txt
#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).
Merci.
