1 files changed, 26 insertions, 0 deletions
diff --git a/bin/urlh.sh b/bin/urlh.sh
new file mode 100644
index 00000000..9f517fe9
--- /dev/null
+++ b/bin/urlh.sh
@@ -0,0 +1,26 @@
+# Get values for HTTP headers for the given URL
+
+# Check arguments
+if [ "$#" -ne 2 ] ; then
+    printf 'urlt: Need an URL and a header name\n'
+    exit 2
+fi
+url=$1 header=$2
+
+# Run cURL header request
+curl -fIsSL -- "$url" |
+
+# Unfold the headers
+unf |
+
+# Change the line endings to UNIX format
+sd2u |
+
+# Use awk to find any values for the header case-insensitively
+awk -F ': *' -v header="$header" '
+BEGIN { header = tolower(header) }
+tolower($1) == header {
+    sub(/^[^:]*: */, "")
+    print
+}
+'