From 825e73b0f1734c2b55c94d1735ec58a54e09e2c9 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Wed, 20 May 2026 09:29:38 +0100 Subject: [PATCH] chore(gitignore): ignore dune-generated `*.install` manifests MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit `affinescript.install` (and any sibling `*.install` files for future opam packages declared in `dune-project`) is regenerated by dune on every `dune build`. It was showing up as untracked across recent sessions, one stray `git add .` away from being committed alongside the regular source changes. `*.install` is the standard pattern: dune emits one per `(package ...)` declaration in `dune-project`, and they're consumed only by opam during install — not durable repo content. Same shape as the previous `target/` glob fix (#296) — match anywhere, not just the repo root, so any future nested opam package's `.install` file is covered too. Verified post-fix: `git check-ignore affinescript.install` returns the path; `git status` no longer lists it as untracked. Co-Authored-By: Claude Opus 4.7 (1M context) --- .gitignore | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.gitignore b/.gitignore index 89096281..6c5d5fbe 100644 --- a/.gitignore +++ b/.gitignore @@ -17,6 +17,8 @@ target/ /build/ /dist/ /out/ +# dune-generated package install manifests (sibling to *.opam — regenerated on build) +*.install # Idris2 build artifacts (nested, e.g. under formal-verification dirs) **/solo-core/build/