grgr.me

latest commits to https://grgr.me/
Log | Files | Refs

commit bd4e72d3f5513bfe82cab048f63d4944aba4ac16
parent deb25ec58f4b6f1b784566fe53c8245771cf3664
Author: corndog <cauchyn@firemail.cc>
Date:   Sat, 12 Nov 2016 23:15:29 -0800

Startup and then presumably use exec

Diffstat:
Caddyfile | 4++--
1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Caddyfile b/Caddyfile @@ -1,6 +1,6 @@ grgr.me { root ./out - startup export CADDY_PID=$$ + startup -i sh -c "export CADDY_PID=$$" redir 303 { /PGP /V6eHU.txt /pgp /V6eHU.txt @@ -15,7 +15,7 @@ grgr.me { git git@gitlab.com:corndog/grgr.me.git ../ { key /home/ervin/.ssh/id_dropbear hook /uguu - then caddy && kill -USR1 $CADDY_PID + then -i sh -c "caddy && kill -USR1 $CADDY_PID" } minify gzip