From ae39b0da12d1d30be8654efa7c04309f0b692570 Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Mon, 3 Sep 2018 20:19:19 -0400 Subject: [PATCH 1/1] [wip] add wip index page and table of contents for posts --- config.toml | 3 +++ content-org/aminb.org | 15 +++++++++++- content/_index.md | 11 +++++++++ content/post/arch-macbook-air.md | 3 +++ layouts/index.html | 39 ++++++++++++++++++++++++++++++++ layouts/partials/nav.html | 11 +++++++++ static/.gitkeep | 0 themes/divine | 2 +- 8 files changed, 82 insertions(+), 2 deletions(-) create mode 100644 content/_index.md create mode 100644 layouts/index.html create mode 100644 layouts/partials/nav.html create mode 100644 static/.gitkeep diff --git a/config.toml b/config.toml index 612d8f0..2d5b974 100644 --- a/config.toml +++ b/config.toml @@ -17,6 +17,9 @@ pygmentsUseClasses = true # This applies to Chroma too. [Social] github = "aminb" +[permalinks] + post = "/:filename/" + [Params] disable_debug = true description = """\ diff --git a/content-org/aminb.org b/content-org/aminb.org index 5f31ecd..28c0dcc 100644 --- a/content-org/aminb.org +++ b/content-org/aminb.org @@ -8,6 +8,16 @@ #+macro: abbr @@html:$1@@ #+macro: span @@html:$2@@ +* Home +:PROPERTIES: +:EXPORT_HUGO_SECTION: / +:EXPORT_FILE_NAME: _index +:END: + +I'm a [[/uw][graduate student]] in the [[https://watform.uwaterloo.ca][WatForm]] group at University of Waterloo, +supervised by [[https://cs.uwaterloo.ca/~nday/][Dr. Nancy Day]]. I'm interested in using formal methods, +especially type systems, to help make software more reliable. + * Pages :PROPERTIES: :EXPORT_HUGO_SECTION: / @@ -38,14 +48,17 @@ line]] if you like to geek out about any of the above. :PROPERTIES: :EXPORT_HUGO_SECTION: post :EXPORT_HUGO_MENU: :menu main +:EXPORT_HUGO_AUTO_SET_LASTMOD: t :END: ** Arch GNU/Linux on MacBook Air 2013 :arch:macbook: :PROPERTIES: :EXPORT_FILE_NAME: arch-macbook-air :EXPORT_DATE: 2016-11-01 -:EXPORT_HUGO_MENU: :menu main :EXPORT_OPTIONS: ^:{} +:EXPORT_HUGO_MENU: :menu main +:EXPORT_HUGO_ALIASES: /2016/11/arch-macbook-air +:EXPORT_HUGO_CUSTOM_FRONT_MATTER: :toc true :END: This post summarizes how I install and dual-boot Arch GNU/Linux with diff --git a/content/_index.md b/content/_index.md new file mode 100644 index 0000000..0ad37e4 --- /dev/null +++ b/content/_index.md @@ -0,0 +1,11 @@ ++++ +title = "Home" +draft = false ++++ + +I'm a [graduate student](/uw) in the [WatForm](https://watform.uwaterloo.ca) group at University of Waterloo, +supervised by [Dr. Nancy Day](https://cs.uwaterloo.ca/~nday/). I'm interested in using formal methods, +especially type systems, to help make software more reliable. + +[//]: # "Exported with love from a post written in Org mode" +[//]: # "- https://github.com/kaushalmodi/ox-hugo" diff --git a/content/post/arch-macbook-air.md b/content/post/arch-macbook-air.md index f4b3b22..5357e74 100644 --- a/content/post/arch-macbook-air.md +++ b/content/post/arch-macbook-air.md @@ -1,8 +1,11 @@ +++ title = "Arch GNU/Linux on MacBook Air 2013" date = 2016-11-01 +aliases = ["/2016/11/arch-macbook-air"] +lastmod = 2018-09-03T20:15:43-04:00 tags = ["arch", "macbook"] draft = false +toc = true [menu.main] weight = 2001 identifier = "arch-gnu-linux-on-macbook-air-2013" diff --git a/layouts/index.html b/layouts/index.html new file mode 100644 index 0000000..120e05c --- /dev/null +++ b/layouts/index.html @@ -0,0 +1,39 @@ +{{ define "main" }} + +

Hello there,

+

+ Amin Bandali +

+
+{{ with .Content }} +{{ . }} +{{ end }} + +

Publications

+ + +

Talks & presentations

+ + +

Recent writings & essays

+ + +{{ end }} diff --git a/layouts/partials/nav.html b/layouts/partials/nav.html new file mode 100644 index 0000000..cb32e4d --- /dev/null +++ b/layouts/partials/nav.html @@ -0,0 +1,11 @@ + diff --git a/static/.gitkeep b/static/.gitkeep new file mode 100644 index 0000000..e69de29 diff --git a/themes/divine b/themes/divine index dd3bc55..ba997dc 160000 --- a/themes/divine +++ b/themes/divine @@ -1 +1 @@ -Subproject commit dd3bc55ba50f2320098c894a0de5458fb233920a +Subproject commit ba997dc0a82c12c924f4842da987eabfaca0dc1a -- 2.20.1