La politique Debian dit
9.1.2 Programmes spécifiques au site
Conformément au mandat du FHS, les packages ne doivent pas placer de fichiers /usr/local
, soit en les plaçant dans l'archive du système de fichiers à décompresser par dpkg, soit en les manipulant dans leurs scripts de maintenance.
Il n'existe aucune interdiction spécifique de ce type /opt
. La politique ajoute également
L'emplacement de tous les fichiers et répertoires installés doit être conforme à la norme FHS (Filesystem Hierarchy Standard), version 2.3, avec les exceptions indiquées ci-dessous et sauf si cela violerait d'autres termes de la politique Debian.
et la norme de hiérarchie des fichiers dit
Les répertoires /opt/bin
, /opt/doc
,
/opt/include
, /opt/info
, /opt/lib
et
/opt/man
sont réservées à l' administrateur du système local.
puis plus bas
Les distributions peuvent installer des logiciels dans
/opt
, mais ne doivent pas modifier ou supprimer les logiciels installés par l'administrateur système local sans l'accord de l'administrateur système local.
Notez que la politique est pour Debian elle-même, mais elle correspond généralement à une recommandation de meilleure pratique. Le résultat, si je lis bien, est qu'il n'est pas correct d'installer des packages binaires (deb) /usr/local
, mais qu'il est correct d'installer dans la /opt
mesure où cela n'interfère pas avec l'utilisation par l'administrateur système de l'espace.
Mon opinion personnelle est que c'est une mauvaise idée d'avoir des paquets deb dans /usr/local
ou /opt
. Je ne suis pas d'accord avec D4RIO quand il dit:
Il y a un paquet Couchdb pour Debian (je veux dire, officiel), donc si vous en avez téléchargé un autre, c'est OK, il doit être installé dans /opt
ou l' /usr/local/bin
un ou l' autre.
Généralement, vous ne voulez pas que deux packages deb différents correspondant au même logiciel soient installés, et s'ils sont en fait le même nom de package, dpkg ne le permettra pas de toute façon. Les paquets Debian non officiels de logiciels disponibles en tant que paquet officiel portent généralement (mais pas toujours) le même nom que les paquets officiels; vous installez simplement l'un ou l'autre, pas les deux.
Pour ce que ça vaut, je pense que mettre des paquets deb /opt
est une mauvaise idée, et la seule occurrence récente de cela que j'ai vue est avec Google Chrome. Cependant, Google ne suit pas toujours les meilleures pratiques.