diff options
author | Thomas Letan <lthms@soap.coffee> | 2022-11-19 12:24:50 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2022-11-19 12:24:50 +0100 |
commit | e3c7c37c8ff3b53fc63a1e7677fb4b6d99d8590b (patch) | |
tree | 33092faad96b320166e9f4e9692b66facc80928e | |
parent | Website reorg (diff) |
Update soupault, crunch png, update avatar
-rw-r--r-- | dependencies.mk | 2 | ||||
-rw-r--r-- | site/img/thinking.png | bin | 0 -> 721966 bytes | |||
-rw-r--r-- | soupault.conf | 5 | ||||
-rw-r--r-- | templates/main.html | 2 |
4 files changed, 6 insertions, 3 deletions
diff --git a/dependencies.mk b/dependencies.mk index 0e6d046..509677f 100644 --- a/dependencies.mk +++ b/dependencies.mk @@ -5,7 +5,7 @@ _opam/init : @pretty-echo.sh "Creating" "a local Opam switch" @opam switch create . ${OCAML} --repos default,coq-released || true @pretty-echo.sh "Installing" "OCaml dependencies" - @opam install dune.2.9.0 coq-coqffi.1.0.0~beta7 coq-simple-io.1.5.0 soupault.4.0.1 coq.8.13.2 coq-compcert.3.8 coq-serapi -y + @opam install dune.2.9.0 coq-coqffi.1.0.0~beta7 coq-simple-io.1.5.0 soupault.4.2.0 coq.8.13.2 coq-compcert.3.8 coq-serapi -y @touch $@ CONFIGURE += _opam diff --git a/site/img/thinking.png b/site/img/thinking.png Binary files differnew file mode 100644 index 0000000..6577ce1 --- /dev/null +++ b/site/img/thinking.png diff --git a/soupault.conf b/soupault.conf index ad34170..0601acd 100644 --- a/soupault.conf +++ b/soupault.conf @@ -16,6 +16,9 @@ ignore_extensions = [ default_template_file = "templates/main.html" pretty_print_html = false +[asset_processors] +png = "pngcrush {{source_file_path}} {{target_dir}}/{{source_file_name}}" + [widgets.page-title] widget = "title" selector = "h1" @@ -24,7 +27,7 @@ prepend = "~lthms: " [widgets.generator-meta] widget = "insert_html" -html = """<meta name="generator" content="soupault 4.0.1">""" +html = """<meta name="generator" content="soupault 4.2.0">""" selector = "head" [widgets.urls-rewriting] diff --git a/templates/main.html b/templates/main.html index 40fa635..fdf4626 100644 --- a/templates/main.html +++ b/templates/main.html @@ -27,7 +27,7 @@ </aside> <main> <span id="whoami" class="marginnote"> - <img class="avatar" src="/img/pixel.png" /> + <img class="avatar" src="/img/thinking.png" /> <p> Hi, I’m <strong>lthms</strong>. |