13 commits

Author	SHA1	Message	Date
TEC	7401330d93	Export pdf version of config too	2021-01-28 17:40:04 +08:00
TEC	00d1a88ef7	Publish script: avoid find-file-noselect + fixes ... A doom change now causes a y-or-n-p prompt to appear, so we need to make that non-interactive.	2021-01-27 17:51:35 +08:00
TEC	2deea5c05d	Publish script tweaks	2021-01-25 01:22:18 +08:00
TEC	21795bfe3b	Publish script: add timeout + improve visuals	2021-01-24 16:23:48 +08:00
TEC	b452aefd73	Readme: Add icons to all the badges	2021-01-24 00:31:10 +08:00
TEC	d95df6a76a	Publish script: avoid need to purge gh image cache ... By using a raw.githubusercontent.com url, github no longer uses the camo cache, and so I can avoid bothering with cache clearing.	2021-01-24 00:19:26 +08:00
TEC	54e617139c	Publish script: ask github to clear cached images	2021-01-24 00:17:32 +08:00
TEC	af816cb006	Publish script: fix invalid regex, log files	2021-01-23 22:23:24 +08:00
TEC	214abe21ab	Publish script: fix index.html symlink	2021-01-23 22:22:27 +08:00
TEC	fc527b0d0f	Publish script: add package update checker	2021-01-23 22:07:38 +08:00
TEC	a2d7ee7964	Publish workflow: implement file moving in scripts ... It makes sense to put the decisions of which files to publish with the generation of said files.	2021-01-23 20:24:00 +08:00
TEC	917d36c79d	Publishing script: make script watcher macro a fn	2021-01-23 19:13:53 +08:00
TEC	1c8514fa79	Refactor config publishing scripts	2021-01-23 17:19:47 +08:00