Re: gnome-shell

2023-10-03 Per discussione Cosmo
In data martedì 3 ottobre 2023 08:19:09 CEST, Piviul ha scritto: > apt clean non dovrebbe proprio fare quello? No. apt clean cancella i pacchetti che hai scaricato con apt (e no, i file indice devi rimuoverli a mano.) -- Cosmo

Re: gnome-shell

2023-10-03 Per discussione Diego Zuccato
Temo di si. O per lo meno non lo conosco. Diego Il 03/10/2023 11:07, Piviul ha scritto: On 10/3/23 08:24, Diego Zuccato wrote: No. Leggevo proprio poco fa la pagina di apt-cacher-ng e lo spiegava bene: apt clean non elimina le liste, solo i file "in cache". quindi non esiste un comando per

Re: gnome-shell

2023-10-03 Per discussione Piviul
On 10/3/23 08:24, Diego Zuccato wrote: No. Leggevo proprio poco fa la pagina di apt-cacher-ng e lo spiegava bene: apt clean non elimina le liste, solo i file "in cache". quindi non esiste un comando per andare a svuotare le liste dei pacchetti o forzarne la sua creazione? Bisogna per forza

Re: gnome-shell

2023-10-03 Per discussione Diego Zuccato
No. Leggevo proprio poco fa la pagina di apt-cacher-ng e lo spiegava bene: apt clean non elimina le liste, solo i file "in cache". Diego Il 03/10/2023 08:19, Piviul ha scritto: On 10/3/23 01:39, Cosmo wrote: Prova a eliminare il contenuto di /var/lib/apt/lists/. Poi apt update eccetera ha

Re: gnome-shell

2023-10-03 Per discussione Piviul
On 10/3/23 01:39, Cosmo wrote: Prova a eliminare il contenuto di /var/lib/apt/lists/. Poi apt update eccetera ha funzionato ma apt clean non dovrebbe proprio fare quello? Comunque grazie mille, mi hai salvato! Piviul