gene999 a écrit
C'est ce que j'ai voulu le reconfigurer depuis la console, mais il ne reconnaît pas ark et je ne sais pas quel nom il a. Par contre, j'ai vu qu'on pouvait le désinstaller depuis la doc, mais que tous les fichiers ne seraient pas effacés. Ce qui va salir le binz et peut-être y ajouter des bugs...
Peut-être quelqu'un pourrait me dire quelle est le nom de ark sur la console pour que je fasse un : sudo dpkg-reconfigure ?-configuration ?
En mode console ark s'appelle avec … ark
Si tu veux le désinstaller proprement, puis le réinstaller :
sudo apt-get purge ark
sudo apt-get install ark
La commande dpkg-reconfigure ne fonctionne qu'avec les paquets utilisant debconf, ce qui n'est pas le cas de ark