3 155
contributi
I repository ed il loro utilizzo: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
I repository ed il loro utilizzo (visualizza wikitesto)
Versione delle 15:02, 20 lug 2013
, 20 lug 2013→Esempi
Wtf (discussione | contributi) |
Wtf (discussione | contributi) (→Esempi) |
||
| Riga 311: | Riga 311: | ||
=== 02 === | === 02 === | ||
Sia testing l'unica distribuzione d'interesse, nonché quella obiettivo. Si supponga di voler usare anche la fonte ''www.deb-multimedia.org'', ma con l'unico scopo di installare solo quei pacchetti che non sono presenti nel repository principale. | |||
==== sources.list ==== | |||
<pre> | |||
deb http://ftp.it.debian.org/debian/ testing main contrib non-free | |||
deb http://security.debian.org/ testing/updates main contrib non-free | |||
deb http://www.deb-multimedia.org testing main non-free | |||
</pre> | |||
==== apt.conf ==== | |||
<pre> | |||
APT | |||
{ | |||
Cache-Limit 48000000; | |||
Get | |||
{ | |||
AllowUnauthenticated 1; | |||
AutomaticRemove "true"; | |||
Fix-Broken "true"; | |||
Purge "true"; | |||
Show-Upgraded "true"; | |||
} | |||
} | |||
Aptitude | |||
{ | |||
Autoclean-After-Update "true"; | |||
Auto-Fix-Broken "true"; | |||
Purge-Unused "true"; | |||
} | |||
</pre> | |||
==== preferences ==== | |||
<br/> | |||
<pre> | |||
Package: * | |||
Pin: Release o=Unofficial Multimedia Packages | |||
Pin-Priority: 100 | |||
Package: * | |||
Pin: Release a=Testing | |||
Pin-Priority: 990 | |||
Package: * | |||
Pin: release o=Debian | |||
Pin-Priority: -10 | |||
</pre> | |||
==== Osservazioni ==== | |||
Poiché entrambe le fonti, principale e deb-multimedia, appartengono alla distribuzione testing in teoria questo caso non sarebbe gestibile tramite pinning, tuttavia sotto l'ipotesi di voler installare da deb-multimedia solo i pacchetti non presenti nella fonte principale il problema è risolvibile. Evitando di definire in <code>apt.conf</code> una distribuzione obiettivo e definendo in <code>preferences</code> prima il record relativo a deb-multimedia si ottiene di riuscire ad assegnare la priorità desiderata, nonostante il fatto che il secondo record si applichi in teoria anche a deb-multimedia. Stanti così le cose dovrebbe essere in realtà possibile attribuire pin superiori, fino a 989, a deb-multimedia, senza che per questo i suoi candidati ottengano la precedenza su quelli del repository principale. | |||
Qualora invece si desiderasse dare la precedenza ai pacchetti di deb-multimedia sarebbe sufficiente definire la distribuzione obiettivo in <code>apt.conf</conf> risultando perfino inutile definire un file <code>preferences</conf>, visto che come già detto di norma i candidati di deb-multimedia hanno numero di versione maggiore di queli del repository principale. | |||
In ultimo si fa semplicemente osservare che l'utilizzo dell'opzione '''-t''' in questo caso è evidentemente inutile, visto che si lavora per ipotesi con una sola distribuzione. | |||
=== 03 === | |||
In questo how-to mostrerò come utilizzare pacchetti Debian provenienti da Testing, Unstable, Experimental e deb-multimedia (audio/video) ma le istruzioni sono facilmente riportabili anche ad altre situazioni (unstable + experimental, stable + testing, stable + unstable, stable + testing + unstable, ecc.). | In questo how-to mostrerò come utilizzare pacchetti Debian provenienti da Testing, Unstable, Experimental e deb-multimedia (audio/video) ma le istruzioni sono facilmente riportabili anche ad altre situazioni (unstable + experimental, stable + testing, stable + unstable, stable + testing + unstable, ecc.). | ||