https://www.dokuwiki.org/plugin:code2
Utilisation (enlever *):

<*code langage>...<*/code>

Modification de /lib/plugins/code/style.css:

/* supprimer max-height:40em dans
div.dokuwiki pre.code,pre.code,div.dokuwiki pre.console,pre.console
pour ne pas limiter hauteur des div de code, scroll toussaaa
*/
 
/* div shell Unix style */
div.dokuwiki pre.console,pre.console{background:#000000 none;color:#00FF00;font-weight:900;padding:0.4ex 0.3ex 0.6ex 0.6ex;}

Afin d'obtenir un terminal du plus joli effet:

Hello World !

<note tip>retour de chariot:

'\\ '

</note>

https://www.dokuwiki.org/plugin:dw2pdf
ajout dans /lib/tpl/dokuwiki/main.php, avant la classe “wrapper group”

<form class="button" method="get" action="<?php wl($ID)?>">
  <div class="no">
    <button type="submit" class="button">
      <img src="<?php echo DOKU_BASE?>lib/images/fileicons/pdf.png" alt="PDF Export" />
      Version PDF
    </button>
    <input type="hidden" name="do" value="export_pdf" />
    <input type="hidden" name="rev" value="<?php global $REV; echo $REV?>" />
    <input type="hidden" name="id" value="<?php echo $ID?>" />
  </div>
</form>

Il faut le refaire à chaque mise à jour.
TODO: fonction PHP pour le faire <note>TODO: template sombre</note>