diff options
| author | Jannis Hoffmann <jannis@fehcom.de> | 2024-07-15 15:49:29 +0200 |
|---|---|---|
| committer | Jannis Hoffmann <jannis@fehcom.de> | 2024-07-15 15:49:29 +0200 |
| commit | c46339470309c24b142e1f66bece51db60bde64f (patch) | |
| tree | ba1d65b123cb4f686ce045810912fb9957f8ff5d /src/https@.sh | |
| parent | 5e84d7b76ce1cccdaf0900d62a94d0d1d88cdd62 (diff) | |
move shell scripts into the script directorymeson
This corrects a build system issue as the associated build file was
already in the script directory.
Diffstat (limited to 'src/https@.sh')
| -rw-r--r-- | src/https@.sh | 15 |
1 files changed, 0 insertions, 15 deletions
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 }' |