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… :-)

Plugin Codebutton2 : ajouter des boutons de code personnalisés

Un plugin pour ajouter des boutons de code personnalisés dans la barre d’outils avec configuration.

Voir https://www.dokuwiki.org/plugin:codebutton2.

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)
/lib/scripts/edit.js
    // create the icon and add it to the button
    ...
    $ico.attr('src', icon);
    $ico.attr('alt', '');
    // $ico.attr('width', 16);
    // $ico.attr('height', 16);
    $btn.append($ico);
  • PHP GD : php-gd ou en ligne de commande :

    $ sudo apt install php-gd

Syntaxe et utilisation

  1. Aller au panneau d'administration → CodeButton2
  2. Ajoutez les boutons au format de fichier INI suivant cette syntaxe:
    <button_name> = "<code_name>"
  3. Cliquez sur Enregistrer
  4. Maintenant, vous pourrez voir le bloc de code et les boutons de votre barre d’outils

Téléchargement et installation

Recherchez et installez le plug-in à l'aide du gestionnaire d'extension.

Penser à renommer le répertoire lib/plugins/dokuwiki-plugin-codebutton2 → lib/plugins/codebutton2

Si les icônes sont trop petites, voir Pré-requis

QR Code
QR Code Plugin Codebutton2 : ajouter des boutons de code personnalisés (generated for current page)