From e4f607d08ac024be7b8a8dc8a8c1c0dcdd7182ef Mon Sep 17 00:00:00 2001 From: MelekTaus Date: Sun, 13 Sep 2026 10:35:16 +0200 Subject: [PATCH] Add wiki to local repo --- .gitignore | 16 +++++++--------- check.sh | 4 ---- pull-wiki.sh | 3 +++ 3 files changed, 10 insertions(+), 13 deletions(-) create mode 100644 pull-wiki.sh diff --git a/.gitignore b/.gitignore index 2f7b907e..60fd4b11 100644 --- a/.gitignore +++ b/.gitignore @@ -1,10 +1,8 @@ -node_modules/ -dist/ +/data/projects/*.json +/data/projects/*.tmp +/data/textures/ +/dist/ +/node_modules/ +/logs/ +/wiki/ /index.html -data/projects/*.json -data/projects/*.tmp -# Uploaded images are user data like the projects: content-addressed, written by the API, -# reproducible only by uploading them again. -data/textures/ -logs/ -.DS_Store diff --git a/check.sh b/check.sh index 81922cbc..a1d7f395 100755 --- a/check.sh +++ b/check.sh @@ -1,8 +1,4 @@ #!/bin/bash -# The full gate, ending in a line that survives a pipe: "=== CHECK EXIT n ===". -# `npm run check | tail -20` reports tail's exit code, not npm's, so a red run reads as green – -# and `set -o pipefail` in here does not help, it only covers pipes inside this script (measured). -# Reading the closing line does. set -o pipefail npm run check diff --git a/pull-wiki.sh b/pull-wiki.sh new file mode 100644 index 00000000..da1c376e --- /dev/null +++ b/pull-wiki.sh @@ -0,0 +1,3 @@ +#!/bin/bash + +git -C wiki pull --ff-only