tools -> scripts

2025-11-14 10:44:57 +08:00
parent 0493f18b18
commit c7449f4acb
70 changed files with 369 additions and 2 deletions
@@ -0,0 +1,6 @@
+#!/usr/bin/env bash
+set -e
+set -u
+
+lineno="$1"; shift
+sed -n "${lineno}p" -- "$@"