From 9ce3afee9776bd12acd9666345ed658d20d78177 Mon Sep 17 00:00:00 2001 From: "Yann Esposito (Yogsototh)" Date: Wed, 26 May 2021 07:58:35 +0200 Subject: [PATCH] Update and deploy --- engine/dev.sh | 6 ++++++ src/css/y.css | 4 ++-- .../index.org | 20 ++++++++++--------- 3 files changed, 19 insertions(+), 11 deletions(-) create mode 100755 engine/dev.sh diff --git a/engine/dev.sh b/engine/dev.sh new file mode 100755 index 0000000..a130f5d --- /dev/null +++ b/engine/dev.sh @@ -0,0 +1,6 @@ +#!/bin/bash +set -e +tmux \ + new-session './engine/serve.sh' \; \ + split-window './engine/auto-build.sh' \; + diff --git a/src/css/y.css b/src/css/y.css index 9d01a2c..6f709fe 100644 --- a/src/css/y.css +++ b/src/css/y.css @@ -1,6 +1,6 @@ html { font-family: Georgia, serif; - font-size: 16px; + font-size: 18px; line-height: calc(1ex/0.37); } #TOC {text-align: left;} @@ -30,7 +30,7 @@ hr { opacity: 0.3; } #preamble, #postamble { text-align: center; } #content,.content,#postamble { padding: 0 1rem; - max-width: 70ch; + max-width: 62ch; overflow: hidden; margin: 0 auto; } diff --git a/src/posts/0018-makefile-as-static-site-builder-follow-up/index.org b/src/posts/0018-makefile-as-static-site-builder-follow-up/index.org index 77184c3..736c86a 100644 --- a/src/posts/0018-makefile-as-static-site-builder-follow-up/index.org +++ b/src/posts/0018-makefile-as-static-site-builder-follow-up/index.org @@ -1,4 +1,4 @@ -#+TITLE: Efficient Static Site Build with make +#+TITLE: Fast Static Site with make #+DESCRIPTION: A deeper view of my static site builder Makefile #+KEYWORDS: blog static #+AUTHOR: Yann Esposito @@ -15,19 +15,21 @@ Mainly it is very fast and portable. A few goal reached by my current build system are: -1. Source file format agnostic. You can use markdown, org-mode or even +1. Be fast, try to make as few work as possible. + I don't want to rebuild all the html pages if I only change one file. +2. Source file format agnostic. You can use markdown, org-mode or even directly writing html. -2. Support gemini -3. Optimize size: minify HTML, CSS, images -4. Generate an index page listing the posts -5. Generate RSS/atom feed (for both gemini and http) +3. Support gemini +4. Optimize size: minify HTML, CSS, images +5. Generate an index page listing the posts +6. Generate RSS/atom feed (for both gemini and http) -So make will just take care of handling the dependency graph to minimize +=make= will take care of handling the dependency graph to minimize the amount of effort when a change occurs in the sources. -But for some features, I built specifics tools. +For some features, I built specifics small shell scripts. For example to be absolutely agnostic in the source format for my articles I generate the RSS out of a tree of HTML files. -But taking advantage of Make, I generate an index cache to transform those +But taking advantage of =make=, I generate an index cache to transform those HTML into XML which will be faster to use to build different indexes. To make those transformations I use very short a shell scripts.