More testing completed.

.github/workflows/example.yml

@@ -1,45 +0,0 @@
-name: Gerby
-on:
-  workflow_dispatch:
-  push:
-jobs:
-  plastex:
-    runs-on: ubuntu-latest
-    strategy:
-      matrix:
-        python-version: ["3.8", "3.9", "3.10", "3.11", "3.12"]
-
-    steps:
-      # for now, because callable has changed
-      - name: Setup Python ${{ matrix.python-version }}
-        uses: actions/setup-python@v4
-        with:
-          python-version: ${{ matrix.python-version }}
-      - name: Install TeXLive
-        uses: teatimeguest/setup-texlive-action@v2
-        with:
-          packages: scheme-basic
-      - name: Install dvipng and Jinja2
-        run: |
-          sudo apt-get update
-          sudo apt install dvipng
-          pip3 install MarkupSafe==1.1.1
-          pip3 install Jinja2==2.11.2
-      - name: Checkout Hello world
-        uses: actions/checkout@v4
-      - name: Checkout plasTeX
-        uses: actions/checkout@v4
-        with:
-          repository: gerby-project/plastex
-          ref: gerby
-          path: plastex
-      - name: Install plasTeX
-        run: |
-          cd plastex
-          pip3 install .
-          cd ..
-      - name: Run tagger and plasTeX
-        run: |
-          python3 tagger.py >> tags
-          plastex --renderer=Gerby document.tex
-          ls document

.travis.yml

@@ -1,69 +0,0 @@
-language: python
-
-python:
-  - "3.6"
-
-install:
-  # 0) make sure dvipng can be found
-  - sudo apt-get update
-  - sudo apt install dvipng
-
-  # 1) install plasTeX
-  - git clone https://github.com/gerby-project/plastex.git
-  - cd plastex
-  # use the Gerby branch of plasTeX
-  - git checkout gerby
-  # actual install
-  - pip install .
-  - cd ..
-
-
-  # 2) install Gerby
-  - git clone https://github.com/gerby-project/gerby-website.git
-  - cd gerby-website/gerby/static
-  # import jQuery Bonsai
-  - git clone https://github.com/aexmachina/jquery-bonsai
-  - cp jquery-bonsai/jquery.bonsai.css css/
-  # actual install
-  - cd ../..
-  - pip install -e . # we use -e because we want to change the source files
-  - cd ..
-
-  # 3) setup configuration
-  - mv configuration.py gerby-website/gerby/configuration.py
-
-  # 4) setup soft links for plasTeX output
-  - cd gerby-website/gerby/tools
-  - ln -s ../../../document      document
-  - ln -s ../../../document.paux document.paux
-  - ln -s ../../../tags          tags
-  - cd ../../..
-
-  # 5) setup soft links for database
-  - cd gerby-website
-  - ln -s gerby/tools/hello-world.sqlite hello-world.sqlite
-  - ln -s gerby/tools/comments.sqlite    comments.sqlite
-  - cd ..
-
-
-script:
-  # 1) update tags file with new tags
-  - python3 tagger.py >> tags
-  # in real life: first run it without writing it to the tags file to check for errors
-
-  # 2) convert to HTML: output goes to document/
-  - plastex --renderer=Gerby ./document.tex
-
-  # 3) import plasTeX output into database
-  - cd gerby-website/gerby/tools
-  - python3 update.py
-  - cd ../..
-
-  # 4) run Flask
-  - export FLASK_APP=gerby
-  - python3 -m flask run &
-
-  # testing the setup
-  - sleep 1
-  - wget http://127.0.0.1:5000/tag/0001
-  - cat 0001

.zed/settings.json

@@ -0,0 +1,23 @@
+// Folder-specific settings
+//
+// For a full list of overridable settings, and general information on folder-specific settings,
+// see the documentation: https://zed.dev/docs/configuring-zed#settings-files
+{
+  "lsp": {
+    "texlab": {
+      "settings": {
+        "texlab": {
+          "rootDirectory": ".",
+          "build": {
+            "auxDirectory": ".",
+          },
+        },
+      },
+    },
+  },
+  "languages": {
+    "HTML": {
+      "format_on_save": "off",
+    },
+  },
+}

document.tex

@@ -31,7 +31,7 @@
 
 \begin{lemma}
   \label{lemma:pythagoras}
-  $a^2=b^2+c^2 \hello$
+  $a^2=b^2+c^2$
 \hi
 \end{lemma}
 \begin{proof}

preamble.sty

@@ -1 +1,2 @@
 \newcommand{\hello}{hi}
+\newcommand{\gaming}{hehe}