From c46339470309c24b142e1f66bece51db60bde64f Mon Sep 17 00:00:00 2001
From: Jannis Hoffmann <jannis@fehcom.de>
Date: Mon, 15 Jul 2024 15:49:29 +0200
Subject: move shell scripts into the script directory

This corrects a build system issue as the associated build file was
already in the script directory.
---
 script/https@.sh | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 script/https@.sh

(limited to 'script/https@.sh')

diff --git a/script/https@.sh b/script/https@.sh
new file mode 100644
index 0000000..896cc7f
--- /dev/null
+++ b/script/https@.sh
@@ -0,0 +1,16 @@
+#!/bin/sh
+host=${1-0}
+path=${2-}
+port=${3-443}
+args=""
+if [ $# -gt 3 ]
+then
+  shift; shift; shift
+  args="$@"
+fi
+echo "GET /${path} HTTP/1.1
+Host: $host:$port
+" | sslclient -XRHl0 $args -- "$host" "$port" sh -c '
+  addcr >&7
+  exec delcr <&6
+' | awk '/^$/ { body=1; next } { if (body) print }'
-- 
cgit v1.2.3