config

commit 8f6d45818d5ad047dea6983cffb087426d8509cf
parent f573880bf0bdb4277e39cc9a44b671d9bdefd672
Author: Jacob R. Edwards <n/a>
Date:   Mon, 31 Jan 2022 11:41:45 -0800

Add script to display only options from a man-page

Diffstat:
A
local/bin/bin/manopts
 | 
8
++++++++

1 file changed, 8 insertions(+), 0 deletions(-)
diff --git a/local/bin/bin/manopts b/local/bin/bin/manopts
@@ -0,0 +1,8 @@
+#!/usr/bin/sed -Enf
+# Copyright 2022 Jacob R. Edwards
+# Display options listed in man-pages
+
+/^ +-[^ ]/ {
+	s/\. .+/./
+	p
+}