Updating minted files and gitlab pipeline 2023

.gitlab-ci.yml

@@ -8,6 +8,7 @@ build:
     stage: build
     before_script:
     - apk add py3-pygments
+    - cp .latexminted_config.global $HOME/.latexminted_config
     script:
     - cd spec
     - lualatex -shell-escape -recorder '\def\nocomments{}\input{doc.tex}'

.vscode/settings.json

+{
+    "latex-workshop.latex.recipe.default": "lualatex+bibtex",
+    "latex-workshop.latex.tools": [
+        {
+            "name": "lualatex",
+            "command": "lualatex",
+            "args": [
+                "-shell-escape",
+                "-recorder",
+                "\\def\\nocomments{}\\input{spec/doc.tex}"
+            ],
+            "env": {},
+        },
+        {
+            "name": "bibtex",
+            "command": "bibtex",
+            "args": [
+                "spec/doc"
+            ],
+            "env": {},
+        }
+    ],
+    "latex-workshop.latex.recipes": [
+        {
+            "name": "lualatex+bibtex",
+            "tools": [
+                "lualatex",
+                "bibtex",
+                "lualatex",
+                "bibtex",
+                "lualatex"
+            ]
+        }
+    ],
+    "latex-workshop.latex.autoBuild.run": "onSave"
+}
\ No newline at end of file

spec/.latexminted_config

+{
+    "custom_lexers": {
+        "highlight.py": "52a12c68c13627ea0161711365490cfa6112192fcb66be974db857ecc1adc1fe"
+    }
+}
\ No newline at end of file