J'installe Vagrant manuellement avec le deb.
J'ai fait Sudo dpkg -i vagrant.....deb
et j'ai trouvé que c'était dans/opt /. Fondamentalement, il n’ajoute rien au profil bash, contrairement à apt-get. Est-ce que c'est supposé arriver avec dpkg?
Merci
Ce répertoire est réservé à tous les logiciels et packages complémentaires qui ne font pas partie de l'installation par défaut.
Cette deb a mis les fichiers dans /opt
parce qu’il s’agit d’un package tiers, téléchargé directement du site Web du fournisseur. Les paquets disponibles dans les dépôts Ubuntu (installables via apt-get
) n'installent pas de fichiers dans /opt
( regardez la liste des fichiers vagants ).