From 66fcf745ee514fcde09529d9e63f9c96aff3b2c0 Mon Sep 17 00:00:00 2001 From: ktyl Date: Tue, 17 May 2022 09:05:33 +0100 Subject: [PATCH] script to deploy to local web server --- local | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100755 local diff --git a/local b/local new file mode 100755 index 0000000..42806dc --- /dev/null +++ b/local @@ -0,0 +1,10 @@ +#!/usr/bin/env bash + +outdir=site +dest="/srv/http/" + +make clean +make run + +sudo rm -r $dest/* +sudo cp -r $outdir/* $dest