fix(hr): Handle BrokenPipeError according to official recommendations

https://docs.python.org/3/library/signal.html#note-on-sigpipe

src/hr/__init__.py

@@ -3,6 +3,8 @@
 # SPDX-License-Identifier: Apache-2.0
 
 import argparse
+import os
+import signal
 import sys
 from itertools import islice
 from pathlib import Path
@@ -89,8 +91,16 @@ def main() -> None:
         print(f"invalid file format: {e}", file=sys.stderr)
         sys.exit(1)
     # BrokenPipeError appears when stuff is piped to | head.
-    except (KeyboardInterrupt, BrokenPipeError):
-        pass
+    # This is not an error for hr.
+    except BrokenPipeError:
+        # https://docs.python.org/3/library/signal.html#note-on-sigpipe
+        # Python flushes standard streams on exit; redirect remaining output
+        # to devnull to avoid another BrokenPipeError at shutdown.
+        devnull = os.open(os.devnull, os.O_WRONLY)
+        os.dup2(devnull, sys.stdout.fileno())
+        sys.exit(0)
+    except KeyboardInterrupt:
+        sys.exit(128 + signal.SIGINT)
 
 
 if __name__ == "__main__":

tests/bats/100-hr.bats

@@ -29,6 +29,10 @@
 	run -1 bash -c "echo 'invalid json' | hr -"
 }
 
+@test "pipe to head and handle SIGPIPE" {
+	hr "$BATS_TEST_DIRNAME/testfiles/log-01.json.zst" | head
+}
+
 @test "filter priority" {
 	local additional_line
 	additional_line='{"module": "foo", "data": "I am the line!", "host": "kronos", "datetime":"2020-04-23T15:21:50.620310", "priority": 5, "version": 2}'