Discussione:Repository & pinning: differenze tra le versioni

Discussione:Repository & pinning (visualizza wikitesto)

492 byte aggiunti , 5 mag 2015

2 894

contributi

@@ Riga 90: / Riga 90: @@
 :: Ok :) Anche il punto 2 mi trova d'accordo con i cambiamenti fatti. Passo al 3.<br/>- I repository multimedia sono necessari agli sviluppatori per contemplare il caso in cui un utente abbia prelevato software da lì. Quindi servono a scopo di test e li lascerei.<br/>- Su sid hai già modificato mentre su experimental non serve il pinning (forse non è nemmeno possibile farlo)<br/>- Una sezione separata è una buona idea. Bisogna vedere se si può eseguire il pinning anche sui repository di sicurezza e gli updates<br/>- A parer mio andrebbero rimosse tutte le configurazioni di "apt-conf" e d'accordo nel togliere tutto ciò che non ha a che vedere con il pinning.<br/>- Per me è uguale e concordo con l'uniformità di indicazione. Visto che gli sviluppatori hanno previsto le directory *.d/ un po' per tutto, direi di usarle ;)<br/> [[Utente:S3v|S3v]] 19:52, 5 mag 2015 (CEST)
+: Io gli apt.conf li lascerei per gli esempi. La logica degli esempi è proprio quella di fornire una configurazione pienamente funzionante. Se poi invece del file apt.conf in <code>/etc/apt/</code> preferite specificare <code>/etc/apt/conf.d/</code> per me è del tutto equivalente
+: Il repository deb-multimedia server ancora, anche se molto meno che in passato. Per esempio il pacchetto monkeys-audio c'è solo nel repository deb-multimedia
+:: [[Utente:Wtf|Wtf]] 21:27, 5 mag 2015 (CEST)
 == Dipendenze ==