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
Prochaine révision
Révision précédente
play.it [Le 29/05/2021, 13:18]
vv221 [Salon IRC] Mise-à-jour du nom de domaine pour le réseau IRC GeekNode
play.it [Le 03/09/2021, 16:12] (Version actuelle)
86.215.34.61 [Depuis les dépôts Ubuntu]
Ligne 13: Ligne 13:
 ==== Depuis les dépôts Ubuntu ==== ==== Depuis les dépôts Ubuntu ====
  
-[[pu>​play.it]] est fourni dans la section ​**multiverse** des [[:​depots|dépôts]] Ubuntu.+[[:​tutoriel:​comment_installer_un_paquet#​paquet_present_dans_les_depots|Installez le paquet]] **[[apt>​play.it]]**
  
 ==== Depuis le dépôt git ==== ==== Depuis le dépôt git ====
Ligne 25: Ligne 25:
 === Version stable === === Version stable ===
  
-<​code>​git clone --branch 2.13.--depth 1 https://​forge.dotslashplay.it/​play.it/​scripts.git play.it.git+<​code>​git clone --branch 2.13.--depth 1 https://​forge.dotslashplay.it/​play.it/​scripts.git play.it.git
 cd play.it.git cd play.it.git
 make make
  • play.it.1622287137.txt.gz
  • Dernière modification: Le 29/05/2021, 13:18
  • par vv221