From d948938641c4a18e9df40414f2a5e72dc01353ee Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jakob@odersky.com>
Date: Wed, 25 Dec 2019 22:24:48 +0100
Subject: Add mgrok, poor man's alternative to ngrok

---
 home/bin/mgrok | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100755 home/bin/mgrok

diff --git a/home/bin/mgrok b/home/bin/mgrok
new file mode 100755
index 0000000..1cce083
--- /dev/null
+++ b/home/bin/mgrok
@@ -0,0 +1,18 @@
+#!/bin/bash
+# Simple ngrok alternative, using an SSH reverse tunnel on
+# an internet-accessible server.
+set -o errexit
+
+port="$1"
+if [[ -z "$port" ]]; then
+    echo "must specify port" >&2
+    echo "Usage: mgrok PORT" >&2
+    exit 1
+fi
+
+echo "Exposing localhost:$port at https://dev.crashbox.io"
+echo "Press Ctrl+C to stop" >&2
+
+# The remote server is assumed to proxy http(s) traffic
+# destined to dev.crashbox.io to localhost:8080
+exec ssh -N -T -R8080:localhost:"$1" dev.crashbox.io
-- 
cgit v1.2.3