summary refs log tree commit diff
diff options
context:
space:
mode:
authorJune McEnroe <june@causal.agency>2022-02-02 11:17:53 -0500
committerJune McEnroe <june@causal.agency>2022-02-02 11:17:53 -0500
commitb9c1bb6175dda782292c41db39ca8509c6dfce25 (patch)
tree2ae5872c10b2d60a20c3cc2ea5b0efd7bec4ceb7
parentAdd ASCII diagram of keyboard layout (diff)
downloadsrc-b9c1bb6175dda782292c41db39ca8509c6dfce25.tar.gz
src-b9c1bb6175dda782292c41db39ca8509c6dfce25.zip
Add whinclude
-rwxr-xr-xhome/.local/bin/whinclude11
1 files changed, 11 insertions, 0 deletions
diff --git a/home/.local/bin/whinclude b/home/.local/bin/whinclude
new file mode 100755
index 00000000..26445cdc
--- /dev/null
+++ b/home/.local/bin/whinclude
@@ -0,0 +1,11 @@
+#!/bin/sh
+set -eu
+
+echo "#include <${1}>" |
+cc ${CFLAGS:-} -E -x c - |
+sed -En '
+	/^# [0-9]+ "[^<]/{
+		s/.*"([^"]+)".*/\1/p
+		q
+	}
+'