From 2ebfda591b13277ee8c9c23df9466a92afd19ceb Mon Sep 17 00:00:00 2001
From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com>
Date: Mon, 22 Jun 2026 14:04:29 +0100
Subject: [PATCH] chore: dotfiles handle Idris2 (.idr/.ipkg) + EBNF

The repos are Idris2 through-and-through but the template .gitattributes /
.editorconfig did not cover .idr/.ipkg/.ebnf: add LF normalisation,
linguist-language=Idris, and a 2-space [*.idr] rule. SPDX header untouched.
Canonical fix also belongs upstream in rsr-template.
---
 .editorconfig  | 3 +++
 .gitattributes | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/.editorconfig b/.editorconfig
index bcdbb4d..191b482 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -63,3 +63,6 @@ indent_size = 2
 indent_style = space
 indent_size = 4
 
+
+[*.idr]
+indent_size = 2
diff --git a/.gitattributes b/.gitattributes
index c95d5eb..4c9213e 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -14,6 +14,9 @@
 *.adb   text eol=lf diff=ada
 *.ads   text eol=lf diff=ada
 *.hs    text eol=lf
+*.idr   text eol=lf linguist-language=Idris
+*.ipkg  text eol=lf
+*.ebnf  text eol=lf
 *.chpl  text eol=lf
 *.scm   text eol=lf
 *.a2ml  text eol=lf linguist-language=TOML