Documentation du Dr FRAPPE

Ce wiki regroupe les résultats de mes expériences en informatique accumulés au cours de mes recherches sur le net.

Dans la mesure du possible, j'ai cité mes sources ; il en manque certainement… :-)

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édentesRévision précédente
Prochaine révision
Révision précédente
logiciel:internet:dokuwiki:plugins:codebutton2 [2021/02/20 10:23] – [Téléchargement et installation] adminlogiciel:internet:dokuwiki:plugins:codebutton2 [2022/08/13 22:14] (Version actuelle) – modification externe 127.0.0.1
Ligne 7: Ligne 7:
 Voir [[https://www.dokuwiki.org/plugin:codebutton2]]. Voir [[https://www.dokuwiki.org/plugin:codebutton2]].
  
-====== Pré-requis ======+===== Pré-requis =====
  
   * une petite modification javascript dans DokuWiki pour désactiver le redimensionnement des icônes : éditez le fichier **/lib/scripts/edit.js** pour commenter les lignes de redimensionnement (vers la ligne 40)   * une petite modification javascript dans DokuWiki pour désactiver le redimensionnement des icônes : éditez le fichier **/lib/scripts/edit.js** pour commenter les lignes de redimensionnement (vers la ligne 40)
Ligne 21: Ligne 21:
   * PHP GD ** : [[apt>php-gd]]** ou en ligne de commande :<cli>$ sudo apt install php-gd</cli>   * PHP GD ** : [[apt>php-gd]]** ou en ligne de commande :<cli>$ sudo apt install php-gd</cli>
  
-====== Syntaxe et utilisation ======+===== Syntaxe et utilisation =====
  
   - Aller au panneau d'administration -> CodeButton2   - Aller au panneau d'administration -> CodeButton2
Ligne 28: Ligne 28:
   - Maintenant, vous pourrez voir le bloc de code et les boutons de votre barre d’outils   - Maintenant, vous pourrez voir le bloc de code et les boutons de votre barre d’outils
  
-====== Téléchargement et installation ======+===== Téléchargement et installation =====
  
 Recherchez et installez le plug-in à l'aide du gestionnaire d'extension. Recherchez et installez le plug-in à l'aide du gestionnaire d'extension.