From a529f5f5d2f5f31d2a6344cec9e0f410c6b6212c Mon Sep 17 00:00:00 2001 From: Felitendo Date: Fri, 18 Sep 2026 11:41:20 +0200 Subject: [PATCH] docs: build and install after every change --- AGENTS.md | 3 +++ CLAUDE.md | 3 +++ 2 files changed, 6 insertions(+) diff --git a/AGENTS.md b/AGENTS.md index 24ed6de..4d26773 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -25,3 +25,6 @@ separately, from the AUR, and stays untouched. with a desktop entry of its own. - `FAST=1` cuts the build to about a third of the time, at the cost of a few megabytes. Use it for anything that is not meant to be release-like: `DEV=1 FAST=1 scripts/build.sh`. +- Build after every change that touches the app, and install it over the last dev build, so it can + be tried out right away. Neither pnpm nor a JDK is on PATH by default: + `PATH="$PWD/build/bin:$PWD/build/jdk-17.0.20.1+1/bin:$PATH" JAVA_HOME="$PWD/build/jdk-17.0.20.1+1" DEV=1 FAST=1 scripts/build.sh` diff --git a/CLAUDE.md b/CLAUDE.md index f2cb01c..670b8a6 100644 --- a/CLAUDE.md +++ b/CLAUDE.md @@ -25,3 +25,6 @@ separately, from the AUR, and stays untouched. with a desktop entry of its own. - `FAST=1` cuts the build to about a third of the time, at the cost of a few megabytes. Use it for anything that is not meant to be release-like: `DEV=1 FAST=1 scripts/build.sh`. +- Build after every change that touches the app, and install it over the last dev build, so it can + be tried out right away. Neither pnpm nor a JDK is on PATH by default: + `PATH="$PWD/build/bin:$PWD/build/jdk-17.0.20.1+1/bin:$PATH" JAVA_HOME="$PWD/build/jdk-17.0.20.1+1" DEV=1 FAST=1 scripts/build.sh`