Reorganise gists folder

2022-05-13 12:49:21 +02:00
parent 7e58a88410
commit da8d015af0
98 changed files with 63 additions and 20 deletions
@@ -0,0 +1,21 @@
+#!/bin/bash
+
+proxy_ip=$(env | grep http_proxy | grep -Pio '[^@/:]+(?=:\d+/?$)')
+proxy_port=$(env | grep http_proxy | grep -Pio '(?<=:)(\d+)(?=/?$)')
+
+if [ -z "${proxy_ip}" ]; then
+  echo "Enter Proxy IP or Hostname (no port): "
+  read proxy_ip
+else
+  echo "Using >>${proxy_ip}<< as Proxy-Address"
+fi
+
+if [ -z "${proxy_port}" ]; then
+  echo -n "Proxy-Port: "
+  read proxy_port
+else
+  echo "Using >>${proxy_port}<< as Proxy-Port"
+fi
+
+echo "Using ${proxy_ip}:${proxy_port} as Proxy!"
+