site-josuah

/usr/josuah
Log | Files | Refs

commit 8f1b088f45926ce630e62ee8173859002915254d
parent 24fd0e05f56ac67c3873e637b024b48316ffa4ab
Author: Josuah Demangeon <me@josuah.net>
Date:   Thu, 16 Apr 2020 16:20:47 +0200

update .githooks to match the changes upstream

Diffstat:
D.githook | 8--------
A.githooks/post-update | 12++++++++++++
Mhead.gph | 8++++----
Mhead.html | 5+++++
4 files changed, 21 insertions(+), 12 deletions(-)

diff --git a/.githook b/.githook @@ -1,8 +0,0 @@ -#!/bin/sh -ex -# dual publishing: http+html/gopher+gph - -notwiki-doc html "/srv/www/htdocs/josuah" * -notwiki-doc gph "/srv/gopher/htdocs/josuah" * - -cp -r "ascii" "/srv/gopher/htdocs/josuah" -cp -r "ascii" "/srv/www/htdocs/josuah" diff --git a/.githooks/post-update b/.githooks/post-update @@ -0,0 +1,12 @@ +#!/bin/sh -ex +# deploy the website to /srv + +tmp=$(git-hooks-workdir "$@") +trap 'rm -rf "$tmp"' INT TERM EXIT HUP +cd "$tmp" + +notwiki-doc html "/srv/www/htdocs/josuah" * +notwiki-doc gph "/srv/gopher/htdocs/josuah" * + +cp -r "ascii" "/srv/gopher/htdocs/josuah" +cp -r "ascii" "/srv/www/htdocs/josuah" diff --git a/head.gph b/head.gph @@ -1,7 +1,7 @@ -[h| \[git\] repositories|/git|server|port] -[h| ⢬⠀⡠⢄⢀⡤⠄⡄⢠⢀⠤⡄⡧⢄⠀⠀⢠⠤⡀⣠⣤⢸⠤ \[web\] http server|URL:http://josuah.net||] -[1| ⡸⠀⠑⠊⠐⠚⠁⠑⠚⠈⠒⠃⠃⠘⠀⠂⠘⠀⠃⠑⠒⠈⠒ \[twt\] twtxt|/twtxt.txt|server|port] -[h| \[mail\] me@josuah.net|H|server|port] +[h| \[git\] repositories|/git|server|port] +[h| ⢬⠀⡠⢄⢀⡤⠄⡄⢠⢀⠤⡄⡧⢄⠀⠀⢠⠤⡀⣠⣤⢸⠤ \[web\] http server|URL:http://josuah.net||] +[1| ⡸⠀⠑⠊⠐⠚⠁⠑⠚⠈⠒⠃⠃⠘⠀⠂⠘⠀⠃⠑⠒⠈⠒ \[twt\] twtxt|/twtxt.txt|server|port] +[h| \[mail\] me@josuah.net|H|server|port] ──────────────────────────────────────────────────────────────────────────────── diff --git a/head.html b/head.html @@ -1,8 +1,11 @@ <!DOCTYPE html> + <meta charset="UTF-8"/> <style> body { max-width:80ch; margin:auto; padding:5em 5ch; } </style> <title>josuah.net</title> + <a href="/">[ josuah.net ]</a> + <nav style="float:right;"> <a href="git.z0.is">git</a> - <a href="/pub/josuah.ssh">ssh</a> - @@ -10,4 +13,6 @@ <a href="&#109;&#97;&#105;&#108;&#116;&#111;&#58;&#109;&#101;&#64;&#106;&#111;&#115;&#117;&#97;&#104;&#46;&#110;&#101;&#116;">mail</a> - <a href="/pub/rss.xml">rss</a> </nav> + <hr/> +