fix: add trailing line-break in nolints.json (#955)

leanprover-community · Sep 25, 2024 · 1745fbd · 1745fbd
1 parent 6d5e1c8
commit 1745fbd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/runLinter.lean b/scripts/runLinter.lean
@@ -15,7 +15,7 @@ def readJsonFile (α) [FromJson α] (path : System.FilePath) : IO α := do
 
 /-- Serialize the given value `a : α` to the file as JSON. -/
 def writeJsonFile [ToJson α] (path : System.FilePath) (a : α) : IO Unit :=
-  IO.FS.writeFile path <| toJson a |>.pretty
+  IO.FS.writeFile path <| toJson a |>.pretty.push '\n'
 
 /--
 Usage: `runLinter [--update] [Batteries.Data.Nat.Basic]`