Grazie a tutti e due per i suggerimenti. Ho fatto una copia della /bin dalla live all'hard disk e alla fine ho optato per tar al posto di "cp -a". Alla fine sono pochi file e ho controllato a che i permessi, timestamp e link fossero stati copiati bene. E cosi' e' stato. Dopo il reboot ho provato "apt-get dselect-upgrade --reinstall" ma non ha fatto alcunche'. Ho sbagliato qualcosa? Comunque tutto ora sembra funzionare correttamente, il mio collega respira meno affannosamente :-) e ringrazia voi (e me) per aver risolto il suo problema. Emanuele Byte Surfer wrote:
p.s. per il tuo hd ide 2,5 rotto, quello che ho recuperato è un 40Gb e non un 80Gb come erroneamente ricordavo, anche se la sigla è la stessa.
Interessante. Ti scrivo offlist. -- Per iscriversi (o disiscriversi), basta spedire un messaggio con OGGETTO "subscribe" (o "unsubscribe") a mailto:linuxtrent-request@xxxxxxxxxxxxx