Hi Simon, the paths/files you list appear to be all no longer in use by Sage. (they were at some point used, but then were removed, but somehow the removal didn't happen when you updated your local repo).
You can run "git clean -fdx" to remove everything not under revision control (then of course you will need to rebuild) Dima On March 27, 2026 5:36:11 AM CST, Simon King <[email protected]> wrote: >Hi! > >While trying to work around a different problem (conftest.py vanishing >while building Sage from source, so that "git restore conftest.py" was >needed before doing "make" again), I noticed that quite many paths are >(probably rightfully) not under version control and I think they should be >ignored by git: > >$ git status >Auf Branch develop >Ihr Branch ist auf demselben Stand wie 'origin/develop'. > >Unversionierte Dateien: > (benutzen Sie "git add <Datei>...", um die Änderungen zum Commit >vorzumerken) >Pipfile >pkgs/sage-conf/ >pkgs/sagemath-bliss/ >pkgs/sagemath-coxeter3/ >pkgs/sagemath-mcqd/ >pkgs/sagemath-meataxe/ >pkgs/sagemath-sirocco/ >pkgs/sagemath-tdlib/ >src/Pipfile >src/doc/en/reference/repl/options.txt >src/environment-dev-3.10.yml >src/environment-dev-3.11.yml >src/environment-dev-3.9.yml >src/requirements.txt >src/sage/cpython/wrapperdescr.c >src/sage/docs/ >src/sage/ext/memory_allocator.c >src/sage/finance/ >src/sage/geometry/integral_points.c >src/sage/graphs/trees.c >src/sage/groups/old.c >src/sage/libs/arb/arb_version.c >src/sage/libs/flint/flint.c >src/sage/libs/flint/fmpz_factor.c >src/sage/libs/giac/giac.cpp >src/sage/libs/glpk/error.c >src/sage/media/ >src/sage/modular/arithgroup/farey_symbol.h >src/sage/rings/complex_number.c >src/setup.cfg > >Cheers >Simon > >-- >You received this message because you are subscribed to the Google Groups >"sage-devel" group. >To unsubscribe from this group and stop receiving emails from it, send an >email to [email protected]. >To view this discussion visit >https://groups.google.com/d/msgid/sage-devel/f45b77a0-a166-4938-aab5-8576c15d1be0n%40googlegroups.com. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/sage-devel/D34BC4BC-747C-478B-9A61-BC59F078149D%40gmail.com.
