Scripts et terrain de jeu : utilisation concrète de certaines fonctionnalités de Bitbucket

Avis

Javascript est requis !

Cette page embarque des scripts écrits en javascript. À priori, cela devrait fonctionner sur n'importe quel navigateur assez récent, pour peu qu'il supporte javascript (et que javascript ne soit pas désactivé).


À-propos

Cette page est là pour décrire certains scripts (en Bash, Python, JavaScript notamment) stockés dans les dépôts web-sphinx-scripts, et home.

Mais aussi pour tester des fonctionnalités sympas offertes par bitbucket (vous savez, le concurrent de github, dont je participe activement à la traduction).


Liens directs

Historique pour un fichier

Par exemple: pour bin/PDFCompress.

Une ligne spécifique

Par exemple: pour .bashrc à la ligne 441.

Fichier direct

Par exemple: pour bin/series.sh.

Inclure un fichier avec ?t=embed

Comment ça marche ?

Motif

Bitbucket.org permet d'inclure un fichier (avec coloration syntaxique et tout) facilement, avec le morceau de code HTML suivant :

<script type="text/javascript" src="https://bitbucket.org/PSEUDO/REPOSITORY/src/master/PATH?t=embed"></script>

Exemple

Il faut remplacer :

  1. PSEUDO par votre nom d'utilisateur bitbucket (pour moi, c'est lbesson);
  2. REPOSITORY par le nom du dépôt (par exemple, pour moi, bin);
  3. PATH par le chemin du fichier (par exemple, pdflatex qui est aussi ici bin/pdflatex localement).

Ainsi, donc dans l'exemple plus bas, le code HTML embarqué dans l'exemple plus bas est :

<script type="text/javascript" src="https://bitbucket.org/lbesson/src/master/pdflatex?t=embed"></script>

En reStructuredText

Enfin, j'inclue ça dans une page générée avec Sphinx avec le code rST suivant :

.. raw:: html

   <script type="text/javascript" src="https://bitbucket.org/lbesson/src/master/pdflatex?embed=t">Fichier bin/pdflatex</script>
   <noscript>Pas de JavaScript pour inclure le fichier <a href="https://bitbucket.org/lbesson/raw/master/pdflatex">bin/pdflatex</a>.</noscript>

Exemples

bin/pdflatex

Un fichier rST (celui de cette page !)