script to deploy to local web server

2022-05-17 09:05:33 +01:00 · 2022-05-17 09:05:33 +01:00 · 66fcf745ee
parent a3dc9feb8f
commit 66fcf745ee
1 changed files with 10 additions and 0 deletions
--- a/10
+++ b/10
@ -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