2 974
contributi
Repository & pinning: differenze tra le versioni
→/etc/apt/preferences
Wtf (discussione | contributi) |
Wtf (discussione | contributi) |
||
| Riga 125: | Riga 125: | ||
Il pinning può essere orientato ai campi "Suite", "Origin", "Label" e "Codename" del file "Release" di un certo repository (si veda inizio pagina), nonché all'indirizzo del repository stesso. Si noti che per archivi personali e/o non ufficiali può non essere presente (purtroppo) un file "Release". | Il pinning può essere orientato ai campi "Suite", "Origin", "Label" e "Codename" del file "Release" di un certo repository (si veda inizio pagina), nonché all'indirizzo del repository stesso. Si noti che per archivi personali e/o non ufficiali può non essere presente (purtroppo) un file "Release". | ||
{{Box|File multipli|È possibile creare più file di nome arbitrario in ''/etc/apt/apt.preferences.d/'' invece di creare un unico file di nome ''preferences'', (si veda il manuale).}} | |||
È utile infine evidenziare un paragrafo del manuale di ''apt_preferences'': | È utile infine evidenziare un paragrafo del manuale di ''apt_preferences'': | ||