Add a simple script for remote deployment

It is really barebones and not much extensible…

conf/remote.sh.inc

@@ -0,0 +1,13 @@
+#!/bin/echo Do not run
+
+# Config file for remote_deploy script
+# All values are required
+# This file is directly sourced from the script
+# Put this file to $XDG_CONFIG_DIR/wish/ and tweak.
+
+# Remote username
+USER=...
+# Host Wish is deployed on
+HOST=...
+# Remote directory containing this repository
+DIR=...

remote_deploy.sh

@@ -0,0 +1,22 @@
+#!/bin/sh
+
+set -eu
+
+if test -v XDG_CONFIG_DIR; then
+	CFGDIR="$XDG_CONFIG_DIR"
+else
+	CFGDIR="$HOME/.config"
+fi
+
+# Drop pre-existing values
+USER=
+HOST=
+DIR=
+
+. "$CFGDIR/wish/remote.sh.inc"
+
+ssh -l "$USER" "$HOST" -t "
+	set -eu
+	cd $DIR
+	./deploy.sh
+	"