Il Tuesday 04 December 2007 15:40:00 Andrea - ha scritto: > Se ho bisogno di un certo comando, come faccio a sapere in quale > pacchetto lo trovo apt-file oppure packages.debian.org Ciao, Darkbasic