Debian Policy dice
9.1.2 Programmi specifici del sito
Come richiesto dall'FHS, i pacchetti non devono inserire alcun file /usr/local
, sia inserendoli nell'archivio del file system che devono essere decompressi da dpkg o manipolandoli nei loro script del manutentore.
Non esiste un divieto così specifico contro /opt
. La politica aggiunge anche
La posizione di tutti i file e le directory installati deve essere conforme allo Filesystem Hierarchy Standard (FHS), versione 2.3, con le eccezioni indicate di seguito, e salvo dove ciò violerebbe altri termini della Debian Policy.
e dice il File Hierarchy Standard
Le directory /opt/bin
, /opt/doc
,
/opt/include
, /opt/info
, /opt/lib
, e
/opt/man
sono riservati per l'uso all'amministratore di sistema locale.
e poi più in basso
Le distribuzioni possono installare software
/opt
, ma non devono modificare o eliminare il software installato dall'amministratore di sistema locale senza il consenso dell'amministratore di sistema locale.
Si noti che la politica è per Debian stessa, ma generalmente corrisponde a una raccomandazione di buone pratiche. Il risultato, se sto leggendo correttamente, è che non va bene installare pacchetti binari (deb) /usr/local
, ma va bene installarlo /opt
fintanto che non interferisce con l'uso dello spazio da parte di sysadmin.
La mia opinione personale è che è una cattiva idea avere pacchetti deb in uno /usr/local
o /opt
. Non sono d'accordo con D4RIO quando dice:
Esiste un pacchetto Couchdb per Debian (intendo, ufficiale), quindi se ne hai scaricato un altro, va bene, deve essere installato in /opt
o /usr/local/bin
entrambi.
In genere non si desidera installare due diversi pacchetti deb corrispondenti allo stesso software installato e se in realtà hanno lo stesso nome pacchetto, dpkg non lo consentirà comunque. I pacchetti di software Debian non ufficiali disponibili come pacchetto ufficiale comunemente (ma non sempre) hanno lo stesso nome di quelli ufficiali; devi solo installare l'uno o l'altro, non entrambi.
Per quello che vale, penso che inserire pacchetti deb /opt
sia una cattiva idea, e l'unica cosa recente che ho visto è con Google Chrome. Tuttavia, Google non segue sempre le migliori pratiche.