script pour ajouter le lien vers les sources dans un fichier

latex/lien-source.py

@@ -0,0 +1,22 @@
+#!/usr/bin/env python3
+
+import os
+import subprocess
+import sys
+
+assert len(sys.argv) > 1, "Pas de fichier indiqué"
+fichier = sys.argv[1].replace("file://", "")
+base, ext = os.path.splitext(fichier)
+destination = base + "_public" + ext
+
+
+scriptdir=os.path.dirname(os.path.realpath(__file__))
+assert len(subprocess.check_output(["git", "status", "--porcelain=v1"], cwd=scriptdir)) == 0, "Le répertoire est sale."
+
+commit = subprocess.check_output(["git", "rev-parse", "HEAD"], cwd=scriptdir).decode("ascii").strip()
+
+contenu = open(fichier).read()
+with open(destination, "w") as f :
+    f.write("%% Les fichiers nécessaires à la compilation sont disponibles sur SourceSup.\n%% Version la plus récente :\n%% https://sourcesup.renater.fr/scm/browser.php?group_id=5479&scm_plugin=scmgit\n%% Version au moment de la publication du présent fichier :\n%% https://sourcesup.renater.fr/scm/browser.php?group_id=5479&scm_plugin=scmgit&path=/anonscm/gitweb?p=typo-cpge/typo-cpge.git;a=tree;hb={}\n%%\n".format(commit))
+    f.write(contenu)
+