From c297ee8043bc38b58c466974f700d9cdb8e1f1b9 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Fri, 27 May 2016 21:31:15 +0200 Subject: link cleanup --- provider/posts/blog/hakyll.md | 10 +++++----- provider/posts/blog/origin.md | 1 + provider/posts/blog/rss.md | 1 + provider/posts/blog/tex-support.md | 1 + provider/posts/blog/ymir.md | 1 + provider/posts/pwutil.md | 2 +- provider/posts/thermoprint/1.md | 1 + provider/posts/thermoprint/2.lhs | 4 ++-- provider/posts/thermoprint/3.lhs | 4 ++-- provider/posts/thermoprint/4.md | 6 +++--- provider/posts/thermoprint/5.md | 1 + provider/posts/thermoprint/6.lhs | 1 + 12 files changed, 20 insertions(+), 13 deletions(-) diff --git a/provider/posts/blog/hakyll.md b/provider/posts/blog/hakyll.md index be3bc1b..4540beb 100644 --- a/provider/posts/blog/hakyll.md +++ b/provider/posts/blog/hakyll.md @@ -2,15 +2,15 @@ title: Switch to Hakyll published: 2015-08-03 tags: Blog Software +repo: https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org --- I stopped using the software suite inherited from [math.kleen.org](http://math.kleen.org) and switched over to using -[hakyll](http://jaspervdj.be/hakyll/) instead, since I realised that the two -were doing essentially the same job and keeping my mess in one haskell file -(`src/Site.hs`, for those of you who are willing to checkout the -[git repo](https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org)) instead of spread over a -large number of interlocking zsh and haskell scripts. +[hakyll](http://jaspervdj.be/hakyll/) instead, since I realised that +the two were doing essentially the same job and keeping my mess in one +haskell file (`src/Site.hs`) instead of spread over a large number of +interlocking zsh and haskell scripts. I expect nothing to be seriously broken (Only the filepaths of lists have changed), but some feed readers might have stopped working (hakyll´s diff --git a/provider/posts/blog/origin.md b/provider/posts/blog/origin.md index b0d4af6..ead2579 100644 --- a/provider/posts/blog/origin.md +++ b/provider/posts/blog/origin.md @@ -2,6 +2,7 @@ title: On the Origin of dirty-haskell.org published: 2015-03-12 tags: Blog Software +repo: https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org --- The software used is a trivially modified version of the one powering [math.kleen.org](http://math.kleen.org/lists/blog.html). diff --git a/provider/posts/blog/rss.md b/provider/posts/blog/rss.md index 095ff56..10a6746 100644 --- a/provider/posts/blog/rss.md +++ b/provider/posts/blog/rss.md @@ -2,6 +2,7 @@ title: dirty-haskell.org´s rss feeds published: 2015-03-29 tags: Blog Software +repo: https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org --- I extended the software suite inherited from [math.kleen.org](http://math.kleen.org) to include support for rss feeds. diff --git a/provider/posts/blog/tex-support.md b/provider/posts/blog/tex-support.md index 7f43eb6..fef50e4 100644 --- a/provider/posts/blog/tex-support.md +++ b/provider/posts/blog/tex-support.md @@ -2,6 +2,7 @@ title: Cursory Math-Support published: 2015-11-05 tags: Blog Software +repo: https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org --- ## Demonstration diff --git a/provider/posts/blog/ymir.md b/provider/posts/blog/ymir.md index 83e5811..07967ae 100644 --- a/provider/posts/blog/ymir.md +++ b/provider/posts/blog/ymir.md @@ -2,6 +2,7 @@ title: Moved servers published: 2015-11-05 tags: Blog Software +repo: https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org --- dirty-haskell.org now lives on ymir.yggdrasil.li. diff --git a/provider/posts/pwutil.md b/provider/posts/pwutil.md index 17d3e49..d873dc0 100644 --- a/provider/posts/pwutil.md +++ b/provider/posts/pwutil.md @@ -5,7 +5,7 @@ published: 2015-04-07 A long time ago I wrote a bunch of scripts (first in bash, then zsh, and later perl) to manage a, sometimes encrypted, file containing account information I get asked to create and remember on a daily basis—accounts for shopping websites spring to mind. -[pwutil](https://git.yggdrasil.li/pwutil) is the newest iteration in this line of bunches of scripts. +pwutil is the newest iteration in this line of bunches of scripts. ## Features diff --git a/provider/posts/thermoprint/1.md b/provider/posts/thermoprint/1.md index 032e2f6..9d0a5b2 100644 --- a/provider/posts/thermoprint/1.md +++ b/provider/posts/thermoprint/1.md @@ -2,6 +2,7 @@ title: On the Architecture of a tool-set for interacting with character-oriented printers published: 2015-12-25 tags: Thermoprint +repo: https://git.yggdrasil.li/thermoprint?h=rewrite --- # Motivation diff --git a/provider/posts/thermoprint/2.lhs b/provider/posts/thermoprint/2.lhs index a144fb5..28b59b8 100644 --- a/provider/posts/thermoprint/2.lhs +++ b/provider/posts/thermoprint/2.lhs @@ -2,10 +2,10 @@ title: On the design of a structured document format compatible with character oriented printers published: 2016-01-11 tags: Thermoprint +repo: https://git.yggdrasil.li/thermoprint?h=rewrite +base: https://git.yggdrasil.li/thermoprint/tree/spec/src/Thermoprint/Printout.hs?h=rewrite&id=f6dc3d1 --- -This post is an annotated version of the file [spec/src/Thermoprint/Printout.hs](https://git.yggdrasil.li/thermoprint/tree/spec/src/Thermoprint/Printout.hs?h=rewrite&id=f6dc3d1) as of commit `f6dc3d1`. - > {-# LANGUAGE DeriveGeneric, DeriveAnyClass #-} > {-# LANGUAGE OverloadedStrings #-} > {-# OPTIONS_HADDOCK show-extensions #-} diff --git a/provider/posts/thermoprint/3.lhs b/provider/posts/thermoprint/3.lhs index 4068cac..f0f52f5 100644 --- a/provider/posts/thermoprint/3.lhs +++ b/provider/posts/thermoprint/3.lhs @@ -2,10 +2,10 @@ title: Thoughts on a network protocol for a toolset for interacting with character-oriented printers published: 2016-01-11 tags: Thermoprint +repo: https://git.yggdrasil.li/thermoprint?h=rewrite +base: https://git.yggdrasil.li/thermoprint/tree/spec/src/Thermoprint/API.hs?h=rewrite&id=3ad700c --- -This post is an annotated version of the file [spec/src/Thermoprint/API.hs](https://git.yggdrasil.li/thermoprint/tree/spec/src/Thermoprint/API.hs?h=rewrite&id=3ad700c) as of commit `3ad700c`. - > {-# LANGUAGE DeriveGeneric, DeriveAnyClass #-} > {-# LANGUAGE TypeOperators, DataKinds #-} > {-# LANGUAGE OverloadedStrings #-} diff --git a/provider/posts/thermoprint/4.md b/provider/posts/thermoprint/4.md index 756c166..c9775dc 100644 --- a/provider/posts/thermoprint/4.md +++ b/provider/posts/thermoprint/4.md @@ -2,11 +2,11 @@ title: On the Design of a Parser published: 2016-01-12 tags: Thermoprint +repo: https://git.yggdrasil.li/thermoprint?h=rewrite +base: https://git.yggdrasil.li/thermoprint/tree/bbcode?h=rewrite&id=dc99dae --- -The concrete application we’ll be walking through is a naive parser for [bbcode](https://en.wikipedia.org/wiki/BBCode) --- more specifically the contents of the directory `bbcode` in the -[git repo](https://git.yggdrasil.li/thermoprint/tree/bbcode?h=rewrite&id=dc99dae). +The concrete application we’ll be walking through is a naive parser for [bbcode](https://en.wikipedia.org/wiki/BBCode). In a manner consistent with designing software as [compositions of simple morphisms](https://en.wikipedia.org/wiki/Tacit_programming) we start by determining the type of diff --git a/provider/posts/thermoprint/5.md b/provider/posts/thermoprint/5.md index 0249734..d4f624b 100644 --- a/provider/posts/thermoprint/5.md +++ b/provider/posts/thermoprint/5.md @@ -2,6 +2,7 @@ title: Building an Extensible Framework for Specifying Compile-Time Configuration using Universal Quantification tags: Thermoprint published: 2016-02-18 +repo: https://git.yggdrasil.li/thermoprint?h=rewrite --- When I write *Universal Quantification* I mean what is commonly referred to as diff --git a/provider/posts/thermoprint/6.lhs b/provider/posts/thermoprint/6.lhs index 9182427..2d2a77d 100644 --- a/provider/posts/thermoprint/6.lhs +++ b/provider/posts/thermoprint/6.lhs @@ -2,6 +2,7 @@ title: Deriving a Client Library for Interacting with Character-Oriented Printers tags: Thermoprint published: 2016-02-18 +repo: https://git.yggdrasil.li/thermoprint?h=rewrite --- > {-# LANGUAGE DataKinds #-} -- cgit v1.2.3