#!/usr/bin/env bash

# Copy this file as variables.conf, with the correct values

webssh_path=
address=127.0.0.1
port=8000