Merge bf4440e850 into e9c620b9f6

Merge pull request #4837 from haras-unicorn/feat-nix-ignore-nixos-test-history
feat(nix): ignore nixos test history
2026-08-30 11:47:22 +02:00 · 2026-04-07 02:50:12 +00:00 · 2026-04-06 09:43:23 -07:00 · 2026-04-06 09:41:52 -07:00 · 2026-04-06 18:38:27 +02:00 · 2026-04-06 09:32:48 -07:00
6 changed files with 20 additions and 7 deletions
--- a/Godot.gitignore
+++ b/Godot.gitignore
@ -1,3 +1,6 @@
 # Godot 4.2+ specific ignores
 ~*.dll
 # Godot 4+ specific ignores
 .godot/
 .nomedia
--- a/Lean.gitignore
+++ b/Lean.gitignore
@ -0,0 +1,2 @@
 # cache and other artifacts produced by Lean's Lake build tool
 .lake/
--- a/Maven.gitignore
+++ b/Maven.gitignore
@ -7,7 +7,7 @@ release.properties
 dependency-reduced-pom.xml
 buildNumber.properties
 .mvn/timing.properties
-# https://maven.apache.org/wrapper/#usage-without-binary-jar
+# https://maven.apache.org/tools/wrapper/#Usage_with_or_without_Binary_JAR
 .mvn/wrapper/maven-wrapper.jar
 # Eclipse m2e generated files
--- a/Nix.gitignore
+++ b/Nix.gitignore
@ -4,3 +4,6 @@ result-*
 # Ignore automatically generated direnv output
 .direnv
 # Ignore NixOS interactive test driver history
 **/.nixos-test-history
--- a/TeX.gitignore
+++ b/TeX.gitignore
@ -75,6 +75,11 @@ acs-*.bib
 # comment
 *.cut
 # context
 *.tuc
 *.tui
 *.tuo
 # cprotect
 *.cpt
Author	SHA1	Message	Date
Noah Greer	5dbe0dd7da	Merge `bf4440e850` into `e9c620b9f6`	2026-04-07 02:50:12 +00:00
Devin Dooley	e9c620b9f6	Merge pull request #4837 from haras-unicorn/feat-nix-ignore-nixos-test-history feat(nix): ignore nixos test history	2026-04-06 09:43:23 -07:00
Devin Dooley	5853962226	Merge pull request #4826 from gxono/patch-1 TeX: add ConTeXt utility cache file (.tuc, .tui & tuo)	2026-04-06 09:41:52 -07:00
haras	c5bf3caf29	feat(nix): ignore nixos test history	2026-04-06 18:38:27 +02:00
Devin Dooley	7514684825	Merge pull request #4835 from ysmartin/patch-1 Fix comment URL for Maven wrapper usage	2026-04-06 09:32:48 -07:00
Devin Dooley	ad49657df2	Merge pull request #4836 from T1ckbase/fix/cpp-gitignore-whitespace Remove trailing whitespace in C++.gitignore	2026-04-06 09:30:03 -07:00
T1ckbase	9ffced6030	Remove remaining trailing whitespace in C++.gitignore	2026-04-05 03:24:04 +08:00
T1ckbase	49990d1d63	Remove trailing whitespace in C++.gitignore	2026-04-05 03:15:27 +08:00
ysmartin	3d21cef359	Fix comment URL for Maven wrapper usage Updated the URL and fragment in the comment for Maven wrapper usage.	2026-04-04 14:47:28 +02:00
Jonatán Perren	de90107f1a	TeX: add ConTeXt utility cache file (.tuc, .tui & tuo) ConTeXt generates .tuc files (utility cache) during each run. These can be removed using the command line [--purgeall](https://wiki.contextgarden.net/Input_and_compilation/Executable_scripts_and_auxiliary_files/context_script#--purgeall). ConTeXt MKII generates .tui and .tuo with the generation of [ToC](https://wiki.contextgarden.net/Document_structure_and_headlines/Table_of_contents). These files store document metadata between compilations and are not part of the source, so they should be ignored.	2026-04-03 22:06:17 -03:00
Devin Dooley	84c6914a9b	Merge pull request #4828 from quantum9Innovation/lean-gitignore feat: create Lean.gitignore	2026-04-03 17:05:51 -07:00
Ananth Venkatesh	5f760225cf	fix: only match on `.lake` directory Co-authored-by: Devin Dooley <dooleydevin@github.com>	2026-04-03 20:04:27 -04:00
Ananth Venkatesh	b9ad512a45	feat: create Lean.gitignore	2026-03-28 21:42:41 -07:00
Jonatán Perren	9aa86b4610	TeX: add ConTeXt utility cache file (.tua & .tuc) ConTeXt generates .tua and .tuc files (utility cache) during each run. These files store document metadata between compilations and are not part of the source, so they should be ignored.	2026-03-27 21:24:28 -03:00
Noah Greer	bf4440e850	Add rule for Godot temp extension library copies on Windows As of Godot 4.2 the editor has a Windows-specific workaround for loading extension libraries. Before the extension library is loaded the Godot editor creates a temp copy of the extension library `.dll` file with a `~` prefix (e.g. `example.dll` => `~example.dll`). When the extension library is unloaded the Godot editor deletes the temp copy. These copied `~*.dll` files are temporary and should be ignored. References: Godot 4.2 changelog https://godotengine.org/article/godot-4-2-arrives-in-style/#gdextension Godot PR #80188 GDExtension: Copy DLL to a temp file before opening https://github.com/godotengine/godot/pull/80188	2026-03-23 10:12:22 -07:00
		`@ -0,0 +1,2 @@`
							`# cache and other artifacts produced by Lean's Lake build tool`
							`.lake/`