utils

2025-11-12 18:17:47 +08:00
parent d934541f8e
commit 6617db5d44
22 changed files with 305 additions and 1 deletions
@@ -0,0 +1,6 @@
+#!/usr/bin/env bash
+set -e
+set -u
+
+lineno="$1"; shift
+sed -n "${lineno}p" -- "$@"