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.
---
 src/https@.sh | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 src/https@.sh

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

diff --git a/src/https@.sh b/src/https@.sh
deleted file mode 100644
index 6a902b7..0000000
--- a/src/https@.sh
+++ /dev/null
@@ -1,15 +0,0 @@
-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
-" | HOME/bin/sslclient -XRHl0 $args -- "$host" "$port" sh -c '
-  addcr >&7
-  exec HOME/bin/delcr <&6
-' | awk '/^$/ { body=1; next } { if (body) print }'
-- 
cgit v1.2.3