Merge 3304408968 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 00:51:32 +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 28 additions and 7 deletions
--- a/Deno.gitignore
+++ b/Deno.gitignore
@ -0,0 +1,11 @@
 # Deno
 # https://deno.com/
 # Cache directory (when using project-local DENO_DIR)
 # https://docs.deno.com/runtime/fundamentals/setup/#deno_dir
 .deno/
 # Coverage reports
 # https://docs.deno.com/runtime/reference/cli/coverage/
 coverage/
 *.lcov
--- 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
Matt Van Horn	ad08edcf90	Merge `3304408968` into `e9c620b9f6`	2026-04-07 00:51:32 +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
Matt Van Horn	3304408968	Add Deno.gitignore	2026-03-17 15:34:46 -07:00
		`@ -0,0 +1,2 @@`
							`# cache and other artifacts produced by Lean's Lake build tool`
							`.lake/`