Exemples d'intégration de code en ligne

Prism : coloration syntaxique en ligne

Prism est un outil permettant de présenter du code avec coloration syntaxique au sein de pages Web. On pourra consulter cette documentation qui donne quelques pistes d'utlisation de Prism.

Les exemples suivants peuvent être étudiés pour voir son application.

Ligne de commande

Un exemple de code dans un Terminal :


        git clone https://github.com/identifiant/repo.git
        git status
    

        pwd
        /usr/home/chris/bin
        ls -la
        total 2
        drwxr-xr-x   2 chris  chris     11 Jan 10 16:48 .
        drwxr--r-x  45 chris  chris     92 Feb 14 11:10 ..
        -rwxr-xr-x   1 chris  chris    444 Aug 25  2013 backup
        -rwxr-xr-x   1 chris  chris    642 Jan 17 14:42 deploy
    

Python

Un exemple de code Python :


        def foo(x, y):
          n = 0
          while x < y:
            x *= 2
            n += n
          return n
    

HTML

Un exemple de code HTML :


    <!DOCTYPE html>
    <html lang="fr">
    
    <head>
        <title>Page test</title>
        <meta charset="utf-8" />
        <link rel="stylesheet" type="text/css" href="css/style.css" />
    </head>
    
    <body>
        <h1>Titre fabuleux</h1>
        <p>Pour une page non moins fabuleuse</p>
    </body>
    
    </html>
  

Remarque importante : pour présenter du HTML, il faut remplacer tous les < et > par &lt; et &gt; car sinon le code est interprété par le navigateur !

CSS

Un exemple de CSS :


      p{ 
        color: red; 
        background-color: rgb(120, 12, 57); 
      }

Javascript

Un exemple de code Javascript :


        "use strict";

        let mois = ["janvier", "février", "mars", "avril", "mai", "juin", "juillet", "aout", "septembre", "octobre", "novembre", "décembre"];
        let jours = ["Lundi", "Mardi", "Mercredi", "Jeudi", "Vendredi", "Samedi", "Dimanche"];

        function foo(d){
          let j = d.getDay();
          let jj = d.getDate();
          let m = d.getMonth();
          return jours[j] + ' ' + jj + ' ' + mois[m];
        }

        let d = new Date();
        console.log(foo(d));