Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente | |||
|
vivaldi [Le 26/02/2023, 03:51] nany [Installation du paquet *.deb (meilleure méthode)] |
vivaldi [Le 12/03/2023, 12:36] (Version actuelle) 93.27.157.16 [Installation du paquet *.deb (meilleure méthode)] |
||
|---|---|---|---|
| Ligne 42: | Ligne 42: | ||
| Le fichier ''.deb'' obtenu peut s'installer avec [[:gDebi]] ou en ligne de commande (en tant qu'[[:sudo|administrateur]]) avec <code>dpkg -i nom_du_fichier.deb</code> | Le fichier ''.deb'' obtenu peut s'installer avec [[:gDebi]] ou en ligne de commande (en tant qu'[[:sudo|administrateur]]) avec <code>dpkg -i nom_du_fichier.deb</code> | ||
| + | Si vous avez un problème de dépendance, pensez à faire un : | ||
| + | <code>sudo apt-get install -f</code> | ||
| Cela devrait ajouter automatiquement un dépôt correspondant à Vivaldi : un fichier ''/etc/apt/sources.list.d/vivaldi.list'' devrait être créé avec à l'intérieur la ligne <code>deb [arch=amd64] https://repo.vivaldi.com/stable/deb/ stable main</code> | Cela devrait ajouter automatiquement un dépôt correspondant à Vivaldi : un fichier ''/etc/apt/sources.list.d/vivaldi.list'' devrait être créé avec à l'intérieur la ligne <code>deb [arch=amd64] https://repo.vivaldi.com/stable/deb/ stable main</code> | ||