From 066f756557045139f7cafc2b5fb30034bc9e021b Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Mon, 20 Apr 2020 01:48:07 -0400 Subject: [PATCH 1/1] add rss feed --- Makefile | 7 ++++--- feed.m4 => feed_atom.m4 | 14 +++++++------- feed_rss.m4 | 16 ++++++++++++++++ footer.html | 5 +++-- header.html | 17 ++++++++++++----- index.m4 | 16 ++++++++-------- 6 files changed, 50 insertions(+), 25 deletions(-) rename feed.m4 => feed_atom.m4 (53%) create mode 100644 feed_rss.m4 diff --git a/Makefile b/Makefile index ff5e216..b4e1909 100644 --- a/Makefile +++ b/Makefile @@ -1,14 +1,15 @@ RSYNC_PARAMS = --exclude-from='.rsync-exclude' -avzLP LATEST=2 -SRC := $(wildcard *.m4 | grep -v feed.m4) +SRC := $(filter-out $(wildcard feed_*),$(wildcard *.m4)) OUTPUTS := $(patsubst %.m4,out/%.html,$(SRC)) STATIC := $(patsubst static/%,out/%,$(wildcard static/*)) -all: $(OUTPUTS) out/atom.xml out/style.css $(STATIC) +all: $(OUTPUTS) out/notes.atom out/notes.rss out/style.css $(STATIC) out/%.html: %.m4 header.html footer.html ; m4 -D__latest=$(LATEST) $< > $@ -out/atom.xml: feed.m4 ; m4 -D__latest=$(LATEST) $< > $@ +out/notes.atom: feed_atom.m4 ; m4 -D__latest=$(LATEST) $< > $@ +out/notes.rss: feed_rss.m4 ; m4 -D__latest=$(LATEST) $< > $@ $(STATIC): ; ln -s $(PWD)/static/$(notdir $@) $@ deploy: diff --git a/feed.m4 b/feed_atom.m4 similarity index 53% rename from feed.m4 rename to feed_atom.m4 index 712a9b5..8cbffc0 100644 --- a/feed.m4 +++ b/feed_atom.m4 @@ -1,13 +1,13 @@ - Amin Bandali's Personal Site - tag:bandali.eu.org,2016:notes/ - - - syscmd(date -Iseconds -u | tr -d \\n) -define(__feed)dnl +Amin Bandali's Personal Site +tag:bandali.eu.org,atom,notes/ + + +syscmd(date -Iseconds -u | tr -d \\n) +define(__feed_atom)dnl define(`fordown',`ifelse($#,0,``$0'',`ifelse(eval($2>=$3),1, `pushdef(`$1',$2)$4`'popdef(`$1')$0(`$1',decr($2),$3,`$4')')')') fordown(`__i',__latest,eval(__latest-10),` - syscmd(sed "s/\&/\&/g;s/>/\>/g;s//\>/g;s/ diff --git a/feed_rss.m4 b/feed_rss.m4 new file mode 100644 index 0000000..6830453 --- /dev/null +++ b/feed_rss.m4 @@ -0,0 +1,16 @@ + + + +Amin Bandali's Personal Site +Notes and blog posts by Amin Bandali +https://bandali.eu.org +syscmd(date -uR | tr -d \\n) +syscmd(date -uR | tr -d \\n) +1800 +define(__feed_rss)dnl +define(`fordown',`ifelse($#,0,``$0'',`ifelse(eval($2>=$3),1, + `pushdef(`$1',$2)$4`'popdef(`$1')$0(`$1',decr($2),$3,`$4')')')') +fordown(`__i',__latest,eval(__latest-10),` + syscmd(sed "s/\&/\&/g;s/>/\>/g;s/ + diff --git a/footer.html b/footer.html index ae2825c..34f9250 100644 --- a/footer.html +++ b/footer.html @@ -1,4 +1,5 @@ -ifdef(`__feed', `', +ifdef(`__feed_atom', `', +`ifdef(`__feed_rss',`', `ifdef(`__pub', `

Got a question or comment? You can find my email address on my contact page. @@ -12,4 +13,4 @@ See the ifelse(__slug,`license',`above for license conditions',` Amin Bandali -tag:bandali.eu.org,2016:__slug +tag:bandali.eu.org,atom,notes:__slug __pub __upd __title ', +`ifdef(`__feed_rss', +` +__title +https://bandali.eu.org/__slug +tag:bandali.eu.org,rss,notes:__slug +syscmd(date "-uRd __pub" | tr -d \\n) +', ` @@ -41,6 +48,6 @@ ifdef(`__pub', `

__title

-

Published on syscmd(date "-d __pub" "+%B %e`,' %Y")`'ifdef(`__upd',`
-Last updated on syscmd(date "-d __upd" "+%B %e`,' %Y")')

-
')') +

Published on syscmd(date "-d __pub" "+%B %e`,' %Y" | tr -d \\n)`'ifdef(`__upd',`
+Last updated on syscmd(date "-d __upd" "+%B %e`,' %Y" | tr -d \\n)')

+')')') diff --git a/index.m4 b/index.m4 index 54fe7a2..0a23064 100644 --- a/index.m4 +++ b/index.m4 @@ -11,7 +11,8 @@ group at the University of Waterloo, supervised by The main goal of my research is improving software and systems reliability through application of -
formal methods.

+formal +methods.

My research at WatForm focuses on formal logic, model checking, and verification. I am also interested in programming languages, proof @@ -101,15 +102,15 @@ York University, Toronto, Canada, August 15, 2017">poster

Notes

Here are notes about a variety of topics and issues I care -about.

+subscribe to RSS feedRSS feeds.

@@ -117,7 +118,6 @@ and - -- 2.20.1
How I do my Computing September 14, 2019
Arch GNU/Linux on MacBook Air 2013 November 1, 2016