Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
vivaldi [Le 08/07/2018, 11:57]
80.215.178.54
vivaldi [Le 18/04/2021, 11:51] (Version actuelle)
83.205.95.211 [Installation du paquet] changement nom paquet
Ligne 41: Ligne 41:
  
 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 http://​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 http://​repo.vivaldi.com/​stable/​deb/​ stable main</​code>​
-<note help>​Cette procédure peut se faire manuellement : après avoir ajouté le fichier correspondant au dépôt il suffit ensuite de mettre à jour la liste des paquets, puis [[:​tutoriel:​comment_installer_un_paquet|installez le paquet]] ''​vivaldi''</​note>​+<note help>​Cette procédure peut se faire manuellement : après avoir ajouté le fichier correspondant au dépôt il suffit ensuite de mettre à jour la liste des paquets, puis [[:​tutoriel:​comment_installer_un_paquet|installez le paquet]] ''​vivaldi-stable''​ ou ''​vivaldi-snapshot''</​note>​
  
 ===== Utilisation ===== ===== Utilisation =====
  • vivaldi.txt
  • Dernière modification: Le 18/04/2021, 11:51
  • par 83.205.95.211