summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndré Fincato <work@andrefincato.info>2020-10-04 23:18:46 +0200
committerAndré Fincato <work@andrefincato.info>2020-10-04 23:18:46 +0200
commit9d2db42141b342fe899526d3c593dfb398f14236 (patch)
treee946af20c3aac5dd6471735c1e261202c5d1802c
parent15e755c83594703b44ae2aa7fb1ddf38445200dd (diff)
setting some italic
-rw-r--r--content/worklog/2020-W40.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/content/worklog/2020-W40.txt b/content/worklog/2020-W40.txt
index 9500ee1..1b2b640 100644
--- a/content/worklog/2020-W40.txt
+++ b/content/worklog/2020-W40.txt
@@ -23,6 +23,6 @@ this coming week i want to focus on `login-auth`. and i plan to disable the `edi
- did a “design review” and went through lots of details, as well as bouncing back and forth about what the website focus is
- did a first read of [RFC5545](https://tools.ietf.org/html/rfc5545) and began figuring out database structure, general necessary fields, etc
-feeling very bored to the point of confusion. yesterday put together first bash program including `--help` screen [^1]. back to `computer sana in corpore sano` praxis.
+feeling very bored to the point of confusion. yesterday put together first bash program including `--help` screen [^1]. back to *computer sana in corpore sano* praxis.
[^1]: in fact, it is another implementation of a “git-wiki”, eg a git repository of text notes that are converted to html by using (1) `git` to retrieve all / staged / unstaged files and (2) `pandoc` for the file conversion. the most plug-and-play approach i could imagine to make a wiki.