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 andare a svuotare le liste dei 
pacchetti o forzarne la sua creazione? Bisogna per forza andare a manina 
a svuotare la cartella /var/lib/apt/lists/?


Piviul




--
Diego Zuccato
DIFA - Dip. di Fisica e Astronomia
Servizi Informatici
Alma Mater Studiorum - Università di Bologna
V.le Berti-Pichat 6/2 - 40127 Bologna - Italy
tel.: +39 051 20 95786



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 andare a manina 
a svuotare la cartella /var/lib/apt/lists/?


Piviul




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 funzionato ma apt clean non dovrebbe proprio fare quello?

Comunque grazie mille, mi hai salvato!

Piviul




--
Diego Zuccato
DIFA - Dip. di Fisica e Astronomia
Servizi Informatici
Alma Mater Studiorum - Università di Bologna
V.le Berti-Pichat 6/2 - 40127 Bologna - Italy
tel.: +39 051 20 95786



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