From 96a269e53d31dcdac1f4cf60834b6b11a823cafd Mon Sep 17 00:00:00 2001
From: Bokuan Li <47512608+Jerry-licious@users.noreply.github.com>
Date: Sun, 21 Dec 2025 02:28:30 -0500
Subject: [PATCH] More testing completed.

---
 .github/workflows/example.yml | 45 -----------------------
 .travis.yml                   | 69 -----------------------------------
 .zed/settings.json            | 23 ++++++++++++
 document.tex                  |  2 +-
 preamble.sty                  |  1 +
 5 files changed, 25 insertions(+), 115 deletions(-)
 delete mode 100644 .github/workflows/example.yml
 delete mode 100644 .travis.yml
 create mode 100644 .zed/settings.json

diff --git a/.github/workflows/example.yml b/.github/workflows/example.yml
deleted file mode 100644
index b4a4a7e..0000000
--- a/.github/workflows/example.yml
+++ /dev/null
@@ -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
diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index 038f792..0000000
--- a/.travis.yml
+++ /dev/null
@@ -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
diff --git a/.zed/settings.json b/.zed/settings.json
new file mode 100644
index 0000000..ad054f8
--- /dev/null
+++ b/.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",
+    },
+  },
+}
diff --git a/document.tex b/document.tex
index 4e5336b..26fad46 100644
--- a/document.tex
+++ b/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}
diff --git a/preamble.sty b/preamble.sty
index 3b26b52..5a86af3 100644
--- a/preamble.sty
+++ b/preamble.sty
@@ -1 +1,2 @@
 \newcommand{\hello}{hi}
+\newcommand{\gaming}{hehe}