+++ /dev/null
-title: Arch Linux on MacBook Air 2013
-date: 2016-11-01
----
-
-# Arch Linux on MacBook Air 2013
-
-This post summarizes how I install and dual-boot Arch Linux with
-Full-Disk Encryption alongside macOS. It is not meant to be a
-replacement for the [Installation Guide][installation] or the
-former [Beginner's Guide][beginners]. Rather, it mostly serves as a
-small summary with a few useful notes about the gotchas.
-
-[installation]: https://wiki.archlinux.org/index.php/installation_guide
-[beginners]: https://csdietz.github.io/arch-beginner-guide/
-
-So, make sure you understand what you type into your terminal. If you
-don't, checking out the Arch wiki should probably be your first step.
-
-_Note:_ you will need internet access throughout the installation and
-the MacBook Air's WiFi doesn't work out of the box on Arch Linux. I
-recommend using your phone's USB Tethering (if it does support it), or
-using an Ethernet-USB adapter.
-
-## Shrinking the macOS partition
-
-The first step I take is resizing the HFS+ macOS partition to make
-room for the new <abbr>GNU/Linux</abbr> installation. There are plenty
-of tutorials on how to do this using macOS's Disk Utility, so do that
-and then come back!
-
-## Creating a bootable Arch Linux Installer USB
-
-There are different ways of creating a bootable Arch Linux USB, all
-documented on the [USB flash installation media][usb_install] page on
-the Arch wiki, but the simplest one is using `dd` if you already have
-access to another UNIX system.
-
-[usb_install]: https://wiki.archlinux.org/index.php/USB_flash_installation_media
-
-<span class="red">Warning:</span> make sure you backup the data on
-your flash drive, as `dd` will irrevocably destroy all data on it.
-
-Use `lsblk` to find the name (block device) of your USB drive, then
-run `dd` (as root) as shown below:
-
-``` bash
-dd bs=4M if=/path/to/archlinux.iso of=/dev/sdx status=progress && sync
-```
-
-Replace `/path/to/archlinux.iso` with the path to the Arch image you
-have downloaded, and `/dev/sdx` with your drive.
-
-## Booting up from the USB
-
-After creating the install USB, reboot your laptop and hold the alt key and boot
-into the USB.
-
-When booting is complete and you're presented with the prompt, it's a good time
-to make sure you're connected to the internet (see the _note_ at the top of this
-post).
-
-Use `ping` to verify that you've established a connection:
-
-```bash
-ping archlinux.org
-```
-
-## Updating the system clock
-
-Once you're connected to the internet, make sure the system clock is accurate:
-
-```bash
-timedatectl set-ntp true # start and enable systemd-timesyncd
-```
-
-You can check the service status using `timedatectl status`.
-
-## Partitioning
-
-I won't dive into partitioning and instead, I'll refer you to
-the [Partitioning][partitioning] page of Arch wiki. Of the available
-partitioning tools, I personally prefer `cfdisk`.
-
-[partitioning]: https://wiki.archlinux.org/index.php/Partitioning
-
-## Setting up LVM & LUKS
-
-I use a [LVM on LUKS][lvm_on_luks] setup, where I set up LVM on top of
-the encrypted partition.
-
-First, let's set up the underlying encrypted partition:
-
-``` bash
-cryptsetup -v --cipher aes-xts-plain64 --key-size 512 --hash sha512 \
- --iter-time 5000 --use-urandom -y luksFormat /dev/sdaX
-```
-
-where `/dev/sdaX` is the partition you created in the last step
-(e.g. `/dev/sda4`). For more information about the `cryptsetup`
-options, see the [LUKS encryption options][luks_options].
-
-[lvm_on_luks]: https://wiki.archlinux.org/index.php/Dm-crypt/Encrypting_an_entire_system#LVM_on_LUKS
-[luks_options]: https://wiki.archlinux.org/index.php/Dm-crypt/Device_encryption#Encryption_options_for_LUKS_mode
-
-Then we open the container:
-
-``` bash
-cryptsetup open --type luks /dev/sdaX lvm
-```
-
-Now it's time to use lvm and prepare the logical volume(s):
-
-``` bash
-pvcreate /dev/mapper/lvm
-vgcreate vg /dev/mapper/lvm
-lvcreate --extents +100%FREE -n root vg
-```
-
-This will create a physical volume on the mapping we just opened,
-create a volume group named `vg` on the physical volume, and create a
-logical volume named `root` that spans the entire volume group. More
-complex setups are possible thanks to the great flexibility of lvm.
-
-We now format the logical volume with `ext4`:
-
-``` bash
-mkfs.ext4 /dev/mapper/vg-root
-```
-
-## Installing the base system
-
-Let's mount the logical volume, make a directory for the mount point
-of the boot partition, and mount the boot partition (`/dev/sda1`):
-
-``` bash
-mount /dev/mapper/vg-root /mnt
-mkdir /mnt/boot
-mount /dev/sda1 /mnt/boot
-```
-
-Finally, let's install the base system (and optionally `base-devel`):
-
-``` bash
-pacstrap /mnt base base-devel
-```
-
-## Configuring the system
-
-Let's generate the fstab:
-
-``` bash
-genfstab -U /mnt >> /mnt/etc/fstab
-```
-
-Use your favorite terminal-based editor, edit the fstab file and add
-the `discard` option for the root partition to enable TRIM on the
-SSD.
-
-Now we change root into our newly installed system and will configure
-it. Adjust these according to your own setup.
-
-``` bash
-arch-chroot /mnt /bin/bash
-passwd # set the root password
-echo myhostname > /etc/hostname # set the hostname
-ln -s /usr/share/zoneinfo/Canada/Eastern /etc/localtime # time zone
-hwclock --systohc --utc # write system clock to hardware clock (UTC)
-useradd -m -G wheel -s /bin/bash myuser # create myuser
-passwd myuser # set the password for myuser
-echo "myuser ALL=(ALL) NOPASSWD: ALL" >> /etc/sudoers.d/myuser
-# uncomment en_US.UTF-8 UTF-8 and other needed locales in /etc/locale.gen
-locale-gen
-echo LANG=en_US.UTF-8 > /etc/locale.conf
-export LANG=en_US.UTF-8
-```
-
-Then adjust the initramfs hooks in `/etc/mkinitcpio.conf` and enable
-the `encrypt` and `lvm2` hooks, and make sure `keyboard` is available
-before `encrypt` so you can actually type in the LUKS password when
-booting. Your `HOOKS` line should look similar to this:
-
-```
-HOOKS="base udev autodetect modconf block keyboard encrypt lvm2 filesystems fsck"
-```
-
-After adjusting the hooks, build the initramfs:
-
-``` bash
-mkinitcpio -p linux
-```
-
-Now, install the `intel-ucode` package. We'll configure the bootloader
-to enable intel microcode updates.
-
-``` bash
-pacman -S intel-ucode
-```
-
-Create the `/boot/loader/loader.conf` with the following content
-(adjust the timeout to your liking):
-
-```
-default arch
-timeout 3
-```
-
-Then create the entry for Arch:
-
-``` bash
-mkdir -p /boot/loader/entries
-touch /boot/loader/entries/arch.conf
-```
-
-Now edit `/boot/loader/entries/arch.conf` to specify the Arch entry:
-
-```
-title Arch Linux
-linux /vmlinuz-linux
-initrd /intel-ucode.img
-initrd /initramfs-linux.img
-options cryptdevice=/dev/sdaX:vg:allow-discards root=/dev/mapper/vg-root rw
-```
-
-Again, `/dev/sdaX` is the partition you created in the
-**Partitioning** step as the underlying encrypted partition.
-
-Finally, install the bootloader, exit the chroot, umount and reboot!
-
-``` bash
-bootctl install
-exit
-umount -R /mnt
-reboot
-```
-
-## Post-installation recommendations
-
-Congratulations! You now have a minimal Arch installation.
-
-At this point, I usually install my favorite AUR
-helper, [pacaur][pacaur], then I
-install the [broadcom-wl-dkms][broadcom-wl-dkms] wireless driver
-and [mba6x_bl-dkms][mba6x_bl-dkms] backlight driver to fix the post
-suspend/resume issue where three's no brightness after waking up from
-suspend, and the only available brightness would be 100%.
-
-[broadcom-wl-dkms]: https://aur.archlinux.org/packages/broadcom-wl-dkms/
-[mba6x_bl-dkms]: https://aur.archlinux.org/packages/mba6x_bl-dkms/
-
-``` bash
-pacaur -S linux-headers dkms # linux-headers is required for dkms
-pacaur -S broadcom-wl-dkms
-pacaur -S mba6x_bl-dkms
-```
-
-[pacaur]: https://aur.archlinux.org/packages/pacaur/
-
-Then, I'd like to install
-
-- input, graphics, and sound drivers,
-- a desktop environment (I prefer Xfce or LXQt),
-- a display manager for login screen (lightdm or sddm), and
-- a network manager (NetworkManager or ConnMan).
-
-Check out the [General recommendations][gen_reqs] for more details.
-
-[gen_reqs]: https://wiki.archlinux.org/index.php/General_recommendations
-
-## References
-
-Here are some resources I've come across each with lots of useful bits
-and pieces, about installing Arch on a MacBook:
-
-- [pandeiro/arch-on-air](https://github.com/pandeiro/arch-on-air)
-- [Arch Linux on MacBook Pro Retina 2014 with DM-Crypt, LVM and suspend to disk](https://loicpefferkorn.net/2015/01/arch-linux-on-macbook-pro-retina-2014-with-dm-crypt-lvm-and-suspend-to-disk/)
-- [Installing Archlinux on Macbook Air 2013](http://frankshin.com/installing-archlinux-on-macbook-air-2013/)
-- [Arch Linux Installation with OS X on Macbook Air (Dual Boot)](http://panks.me/posts/2013/06/arch-linux-installation-with-os-x-on-macbook-air-dual-boot/)
-- [Installing (encrypted) Arch Linux on an Apple MacBook Pro](https://visual-assault.org/2016/03/05/install-encrypted-arch-linux-on-apple-macbook-pro/)
-- [Installing Arch Linux on a MacBook Air 2013](http://alexeyzabelin.com/arch-on-mac)
-- [Arch Linux running on my MacBook](https://medium.com/phils-thought-bubble-of-recent-stuff/arch-linux-running-on-my-macbook-2ea525ebefe3)
-- [Dual boot Arch Linux on MacBook Pro Installation](http://codylittlewood.com/arch-linux-on-macbook-pro-installation/)
+++ /dev/null
-<h2>
- <a id="aminb" rel="author" href="https://aminb.org/">amin bandali</a>
-</h2>
-<br>
-<a href="/cv">cv</a>
-<span class="bar">|</span>
-<a href="/now">now</a>
-<span class="bar">|</span>
-<a href="/projects">projects</a>
-<span class="bar">|</span>
-<a href="/contact">contact</a>
-<span class="bar">|</span>
-<label for="light-off" class="light-off-button"></label>
+++ /dev/null
-# Colophon
-
-This is my personal website, previous versions of which I've ran on
-different domains since 2012.
-
-## Night mode
-
-To toggle night mode, click on <label class="light-off-button-inline"
-for="light-off"></label>, which is always available on the top
-navigation menu. It saves its state in a browser cookie, other than
-that no JavaScript is required to use this website.
-
-This website is generated using `ssng`, a fork of Roman Zolotarev's
-[ssg][ssg], and is served by [Nginx][nginx] on [Debian][debian].
-
-## Copyright and Licenses
-
-The source code for this site is licensed under version 3 of the [GNU
-General Public License][gplv3] (see the [`COPYING`][copying]
-file). The content of the posts is licensed under the [Creative
-Commons BY SA][cc] license.
-
-
-[ssg]: https://www.romanzolotarev.com/ssg.html
-[nginx]: https://www.nginx.com
-[debian]: https://www.debian.org
-[gplv3]: https://gnu.org/licenses/gpl.html
-[cc]: https://creativecommons.org/licenses/by-sa/4.0/
-[copying]: https://git.sr.ht/~aminb/aminb.org/tree/COPYING
+++ /dev/null
-title: Contact
-
-# Say hello!
-
-You can contact me via email or through my accounts on various online
-platforms.
-
-## Contact info
-
-- <amin@aminb.org>
-- <aminb@gnu.org>, I'm a volunteer GNU webmaster
-- <abandali@uwaterloo.ca>, I'm a grad student @ UW
-- gpg key: [500C 1D55 D1EC 1FED E8C0 C8DE 4E05 246A B0BF 7FFB][gpg]
-- [@aminb:matrix.org][matrix] on Matrix
-- aminb on [freenode][freenode] and [moznet][moznet]
-<!-- - [@amin@soc.aminb.org][pleroma] on the [Fediverse][fediverse] -->
-- [aminb@member.fsf.org][member.fsf] via XMPP
-
-## Other online places
-
-- [~aminb][srht] on [sr.ht][sr.ht]
-- [aminb][github] on GitHub
-- [aminb][gitlab] on GitLab
-- [amin][keybase] on Keybase
-- [aminb][lobsters] on Lobsters
-- [aminb][reddit] on Reddit
-- [aminban][twitter] on Twitter
-
-
-[gpg]: http://pgp.mit.edu/pks/lookup?op=vindex&search=0x4E05246AB0BF7FFB
-[matrix]: https://matrix.to/#/@aminb:matrix.org
-[freenode]: https://freenode.net
-[moznet]: https://wiki.mozilla.org/IRC
-[pleroma]: https://soc.aminb.org/users/amin
-[fediverse]: https://en.wikipedia.org/wiki/Fediverse
-[member.fsf]: xmpp:aminb@member.fsf.org
-
-[srht]: https://git.sr.ht/%7Eaminb
-[sr.ht]: https://sr.ht
-[github]: https://github.com/aminb
-[gitlab]: https://gitlab.com/aminb
-[keybase]: https://keybase.io/amin
-[lobsters]: https://lobste.rs/u/aminb
-[reddit]: https://www.reddit.com/u/aminb
-[twitter]: https://twitter.com/aminban
+++ /dev/null
-# CV
-
-My academic <abbr>cv</abbr> is available as [cv.pdf](/cv.pdf), and an
-outdated professional resume is available as
-[resume.pdf](/resume.pdf) as well.
-
-I'm interested in functional programming and functional languages,
-type systems, and formal methods in general. I love writing Haskell
-and I'm looking into Rust and Lean as well. Feel free to [drop me a
-line](/contact) if you like to geek out about any of the above.
+++ /dev/null
-<h1 id="hello">Hello there,</h1>
-<img class="picture__avatar" src="https://emacsel.com/img/aminb.jpg" alt="Amin Bandali">
-<div class="clear"></div>
-
-I'm a [graduate student][cs] in the [WatForm][watform] group at
-University of Waterloo, supervised by [Dr. Nancy Day][nday]. I’m
-interested in using formal methods, especially type systems, to help
-make software more reliable.
-
-## Recent writings
-
-<!-- TODO: rss feed -->
-
-- [Arch Linux on MacBook Air 2013](/2016/11/arch-macbook-air "November 1, 2016")
-
-## Talks & presentations
-
-- TODO
-
-
-[cs]: https://cs.uwaterloo.ca/~abandali/
-[watform]: https://watform.uwaterloo.ca
-[nday]: https://cs.uwaterloo.ca/~nday/
--- /dev/null
+<a href="/colophon#copyright">© 2016–2018 Amin Bandali</a>
+<span class="bar">|</span>
+<a href="/colophon">colophon</a>
+<span class="bar">|</span>
+%g
--- /dev/null
+<nav>
+<h2>
+ <a id="aminb" rel="author" href="https://aminb.org/">amin bandali</a>
+</h2>
+<br>
+<a href="/cv">cv</a>
+<span class="bar">|</span>
+<a href="/now">now</a>
+<span class="bar">|</span>
+<a href="/projects">projects</a>
+<span class="bar">|</span>
+<a href="/contact">contact</a>
+<span class="bar">|</span>
+<label for="light-off" class="light-off-button"></label>
+</nav>
--- /dev/null
+;; Inspiration: https://gitlab.com/ambrevar/ambrevar.gitlab.io.
+
+;; TODO: use git time-stamps
+
+(require 'ox-publish)
+(require 'seq)
+
+(add-to-list 'load-path ".")
+
+(add-to-list 'load-path "../xah-replace-pairs")
+(require 'xah-replace-pairs)
+
+(defun aminb--readfile (filepath)
+ "Return filepath's content."
+ (with-temp-buffer
+ (insert-file-contents filepath)
+ (buffer-string)))
+
+(defun aminb--find-replace (match-with replace-with string)
+ "Return the string resulting from replacing `match-with' with
+ `replace-with' in `string'."
+ (when (string-match match-with string)
+ (replace-match replace-with nil nil string)))
+
+(defun aminb--my-html-body-light-filter (output backend info)
+ "Make adjustments needed for dark/light mode <input> tag to work."
+ (when (eq backend 'html)
+ (aminb--find-replace
+ "</body>\n"
+ "</div>\n</body>\n"
+ (aminb--find-replace
+ "<body>\n"
+ "<body>\n<input class=\"light-off\" id=\"light-off\" type=\"checkbox\">\n<div class=\"page\">"
+ output))))
+
+(add-to-list 'org-export-filter-final-output-functions
+ 'aminb--my-html-body-light-filter)
+
+;; re-defining this (originally in `ox-html.el') to add `?g'
+(defun org-html-format-spec (info)
+ "Return format specification for preamble and postamble.
+INFO is a plist used as a communication channel."
+ (let ((timestamp-format (plist-get info :html-metadata-timestamp-format))
+ (git-repo "<a href=\"https://git.sr.ht/~aminb/aminb.org/commit/?id=%s\">@%s</a>")
+ (git-rev (shell-command-to-string "git rev-parse HEAD"))
+ (git-rev-short (shell-command-to-string "git rev-parse --short HEAD")))
+ `((?t . ,(org-export-data (plist-get info :title) info))
+ (?s . ,(org-export-data (plist-get info :subtitle) info))
+ (?d . ,(org-export-data (org-export-get-date info timestamp-format)
+ info))
+ (?T . ,(format-time-string timestamp-format))
+ (?a . ,(org-export-data (plist-get info :author) info))
+ (?e . ,(mapconcat
+ (lambda (e) (format "<a href=\"mailto:%s\">%s</a>" e e))
+ (split-string (plist-get info :email) ",+ *")
+ ", "))
+ (?g . ,(format git-repo git-rev git-rev-short))
+ (?c . ,(plist-get info :creator))
+ (?C . ,(let ((file (plist-get info :input-file)))
+ (format-time-string timestamp-format
+ (and file (nth 5 (file-attributes file))))))
+ (?v . ,(or (plist-get info :html-validation-link) "")))))
+
+;; timestamps can be used to avoid rebuilding everything
+;; should probably be put inside the public/ directory
+(setq org-publish-use-timestamps-flag t
+ org-publish-timestamp-directory "./")
+
+;; get rid of index.html~ and other backup files that may be created during generation
+(setq make-backup-files nil)
+
+(setq org-export-with-section-numbers nil
+ org-export-with-smart-quotes t
+ org-export-with-email t
+ org-export-with-date t
+ org-export-with-tags 'not-in-toc
+ org-export-with-toc t)
+
+(setq org-html-divs '((preamble "header" "preamble")
+ (content "main" "content")
+ (postamble "footer" "postamble"))
+ ;; TODO: link last update to commit history of file
+ org-html-preamble t
+ org-html-postamble t
+ org-html-preamble-format `(("en" ,(aminb--readfile "partials/preamble.html")))
+ org-html-postamble-format `(("en" ,(aminb--readfile "partials/postamble.html")))
+ org-html-container-element "section"
+ org-html-metadata-timestamp-format "%Y-%m-%d"
+ org-html-checkbox-type 'html
+ org-html-html5-fancy t
+ ;; use custom css
+ ;; this removes the dependency on `htmlize',
+ ;; but we also lose syntax highlighting.
+ org-html-htmlize-output-type nil
+ org-html-validation-link nil
+ org-html-doctype "html5")
+
+(setq org-publish-project-alist
+ (list
+ (list "site-org"
+ :base-directory "./source/"
+ :exclude "macros.org"
+ :recursive t
+ :publishing-function '(org-html-publish-to-html)
+ :publishing-directory "./public/"
+ :html-head-include-default-style nil
+ :html-head-include-scripts nil)
+ (list "site-static"
+ :base-directory "source/"
+ :exclude "\\.org\\'"
+ :base-extension 'any
+ :publishing-directory "./public"
+ :publishing-function 'org-publish-attachment
+ :recursive t)
+ (list "site" :components '("site-org"))))
+
+(defun aminb/publish ()
+ (org-publish-all))
--- /dev/null
+#+title: Arch Linux on MacBook Air 2013
+#+date: [2016-11-01 Tue]
+#+options: ^:nil
+
+#+include: "../../macros.org"
+
+This post summarizes how I install and dual-boot Arch Linux with
+Full-Disk Encryption alongside macOS. It is not meant to be a
+replacement for the [[https://wiki.archlinux.org/index.php/installation_guide][Installation Guide]] or the former [[https://csdietz.github.io/arch-beginner-guide/][Beginner's Guide]].
+Rather, it mostly serves as a small summary with a few useful notes
+about the gotchas.
+
+So, make sure you understand what you type into your terminal. If you
+don't, checking out the Arch wiki should probably be your first step.
+
+/Note:/ you will need internet access throughout the installation and
+the MacBook Air's WiFi doesn't work out of the box on Arch Linux. I
+recommend using your phone's USB Tethering (if it does support it), or
+using an Ethernet-USB adapter.
+
+* Shrinking the macOS partition
+
+The first step I take is resizing the HFS+ macOS partition to make
+room for the new {{{abbr(GNU/Linux)}}} installation. There are plenty
+of tutorials on how to do this using macOS's Disk Utility, so do that
+and then come back!
+
+* Creating a bootable Arch Linux Installer USB
+
+There are different ways of creating a bootable Arch Linux USB, all
+documented on the [[https://wiki.archlinux.org/index.php/USB_flash_installation_media][USB flash installation media]] page on the Arch wiki,
+but the simplest one is using =dd= if you already have access to
+another UNIX system.
+
+{{{span(red,Warning:)}}} make sure you backup the data on your flash
+drive, as =dd= will irrevocably destroy all data on it.
+
+Use =lsblk= to find the name (block device) of your USB drive, then
+run =dd= (as root) as shown below:
+
+#+begin_src bash
+dd bs=4M if=/path/to/archlinux.iso of=/dev/sdx status=progress && sync
+#+end_src
+
+Replace =/path/to/archlinux.iso= with the path to the Arch image you
+have downloaded, and =/dev/sdx= with your drive.
+
+* Booting up from the USB
+
+After creating the install USB, reboot your laptop and hold the alt
+key and boot into the USB.
+
+When booting is complete and you're presented with the prompt, it's a
+good time to make sure you're connected to the internet (see the
+/note/ at the top of this post).
+
+Use =ping= to verify that you've established a connection:
+
+#+begin_src bash
+ping archlinux.org
+#+end_src
+
+* Updating the system clock
+
+Once you're connected to the internet, make sure the system clock is
+accurate:
+
+#+begin_src bash
+timedatectl set-ntp true # start and enable systemd-timesyncd
+#+end_src
+
+You can check the service status using =timedatectl status=.
+
+* Partitioning
+:PROPERTIES:
+:CUSTOM_ID: partitioning
+:END:
+
+I won't dive into partitioning and instead, I'll refer you to the
+[[https://wiki.archlinux.org/index.php/Partitioning][Partitioning]] page of Arch wiki. Of the available partitioning tools, I
+personally prefer =cfdisk=.
+
+* Setting up LVM & LUKS
+
+I use a [[https://wiki.archlinux.org/index.php/Dm-crypt/Encrypting_an_entire_system#LVM_on_LUKS][LVM on LUKS]] setup, where I set up LVM on top of the encrypted
+partition.
+
+First, let's set up the underlying encrypted partition:
+
+#+begin_src bash
+cryptsetup -v --cipher aes-xts-plain64 --key-size 512 --hash sha512 \
+ --iter-time 5000 --use-urandom -y luksFormat /dev/sdaX
+#+end_src
+
+where =/dev/sdaX= is the partition you created in the last step
+(e.g. =/dev/sda4=). For more information about the =cryptsetup=
+options, see the [[https://wiki.archlinux.org/index.php/Dm-crypt/Device_encryption#Encryption_options_for_LUKS_mode][LUKS encryption options]].
+
+Then we open the container:
+
+#+begin_src bash
+cryptsetup open --type luks /dev/sdaX lvm
+#+end_src
+
+Now it's time to use lvm and prepare the logical volume(s):
+
+#+begin_src bash
+pvcreate /dev/mapper/lvm
+vgcreate vg /dev/mapper/lvm
+lvcreate --extents +100%FREE -n root vg
+#+end_src
+
+This will create a physical volume on the mapping we just opened,
+create a volume group named =vg= on the physical volume, and create a
+logical volume named =root= that spans the entire volume group. More
+complex setups are possible thanks to the great flexibility of lvm.
+
+We now format the logical volume with =ext4=:
+
+#+begin_src bash
+mkfs.ext4 /dev/mapper/vg-root
+#+end_src
+
+* Installing the base system
+
+Let's mount the logical volume, make a directory for the mount point
+of the boot partition, and mount the boot partition (=/dev/sda1=):
+
+#+begin_src bash
+mount /dev/mapper/vg-root /mnt
+mkdir /mnt/boot
+mount /dev/sda1 /mnt/boot
+#+end_src
+
+Finally, let's install the base system (and optionally =base-devel=):
+
+#+begin_src bash
+pacstrap /mnt base base-devel
+#+end_src
+
+* Configuring the system
+
+Let's generate the fstab:
+
+#+begin_src bash
+genfstab -U /mnt >> /mnt/etc/fstab
+#+end_src
+
+Use your favorite terminal-based editor, edit the fstab file and add
+the =discard= option for the root partition to enable TRIM on the SSD.
+
+Now we change root into our newly installed system and will configure
+it. Adjust these according to your own setup.
+
+#+begin_src bash
+arch-chroot /mnt /bin/bash
+passwd # set the root password
+echo myhostname > /etc/hostname # set the hostname
+ln -s /usr/share/zoneinfo/Canada/Eastern /etc/localtime # time zone
+hwclock --systohc --utc # write system clock to hardware clock (UTC)
+useradd -m -G wheel -s /bin/bash myuser # create myuser
+passwd myuser # set the password for myuser
+echo "myuser ALL=(ALL) NOPASSWD: ALL" >> /etc/sudoers.d/myuser
+# uncomment en_US.UTF-8 UTF-8 and other needed locales in /etc/locale.gen
+locale-gen
+echo LANG=en_US.UTF-8 > /etc/locale.conf
+export LANG=en_US.UTF-8
+#+end_src
+
+Then adjust the initramfs hooks in =/etc/mkinitcpio.conf= and enable
+the =encrypt= and =lvm2= hooks, and make sure =keyboard= is available
+before =encrypt= so you can actually type in the LUKS password when
+booting. Your =HOOKS= line should look similar to this:
+
+#+begin_src
+HOOKS="base udev autodetect modconf block keyboard encrypt lvm2 filesystems fsck"
+#+end_src
+
+After adjusting the hooks, build the initramfs:
+
+#+begin_src bash
+mkinitcpio -p linux
+#+end_src
+
+Now, install the =intel-ucode= package. We'll configure the bootloader
+to enable intel microcode updates.
+
+#+begin_src bash
+pacman -S intel-ucode
+#+end_src
+
+Create the =/boot/loader/loader.conf= with the following content
+(adjust the timeout to your liking):
+
+#+begin_src
+default arch
+timeout 3
+#+end_src
+
+Then create the entry for Arch:
+
+#+begin_src bash
+mkdir -p /boot/loader/entries
+touch /boot/loader/entries/arch.conf
+#+end_src
+
+Now edit =/boot/loader/entries/arch.conf= to specify the Arch entry:
+
+#+begin_src
+title Arch Linux
+linux /vmlinuz-linux
+initrd /intel-ucode.img
+initrd /initramfs-linux.img
+options cryptdevice=/dev/sdaX:vg:allow-discards root=/dev/mapper/vg-root rw
+#+end_src
+
+Again, =/dev/sdaX= is the partition you created in the [[#partitioning][partitioning]]
+step as the underlying encrypted partition.
+
+Finally, install the bootloader, exit the chroot, umount and reboot!
+
+#+begin_src bash
+bootctl install
+exit
+umount -R /mnt
+reboot
+#+end_src
+
+* Post-installation recommendations
+
+Congratulations! You now have a minimal Arch installation.
+
+At this point, I usually install my favorite AUR helper, [[https://aur.archlinux.org/packages/pacaur/][pacaur]], then
+I install the [[https://aur.archlinux.org/packages/broadcom-wl-dkms/][broadcom-wl-dkms]] wireless driver and [[https://aur.archlinux.org/packages/mba6x_bl-dkms/][mba6x_bl-dkms]]
+backlight driver to fix the post suspend/resume issue where three's no
+brightness after waking up from suspend, and the only available
+brightness would be 100%.
+
+#+begin_src bash
+pacaur -S linux-headers dkms # linux-headers is required for dkms
+pacaur -S broadcom-wl-dkms
+pacaur -S mba6x_bl-dkms
+#+end_src
+
+Then, I'd like to install
+
+- input, graphics, and sound drivers,
+- a desktop environment (I prefer Xfce or LXQt),
+- a display manager for login screen (lightdm or sddm), and
+- a network manager (NetworkManager or ConnMan).
+
+Check out the [[https://wiki.archlinux.org/index.php/General_recommendations][General recommendations]] for more details.
+
+* References
+
+Here are some resources I've come across each with lots of useful bits
+and pieces, about installing Arch on a MacBook:
+
+- [[https://github.com/pandeiro/arch-on-air][pandeiro/arch-on-air]]
+- [[https://loicpefferkorn.net/2015/01/arch-linux-on-macbook-pro-retina-2014-with-dm-crypt-lvm-and-suspend-to-disk/][Arch Linux on MacBook Pro Retina 2014 with DM-Crypt, LVM and suspend to disk]]
+- [[http://frankshin.com/installing-archlinux-on-macbook-air-2013/][Installing Archlinux on Macbook Air 2013]]
+- [[http://panks.me/posts/2013/06/arch-linux-installation-with-os-x-on-macbook-air-dual-boot/][Arch Linux Installation with OS X on Macbook Air (Dual Boot)]]
+- [[https://visual-assault.org/2016/03/05/install-encrypted-arch-linux-on-apple-macbook-pro/][Installing (encrypted) Arch Linux on an Apple MacBook Pro]]
+- [[http://alexeyzabelin.com/arch-on-mac][Installing Arch Linux on a MacBook Air 2013]]
+- [[https://medium.com/phils-thought-bubble-of-recent-stuff/arch-linux-running-on-my-macbook-2ea525ebefe3][Arch Linux running on my MacBook]]
+- [[http://codylittlewood.com/arch-linux-on-macbook-pro-installation/][Dual boot Arch Linux on MacBook Pro Installation]]
--- /dev/null
+#+title: Colophon
+#+date: [2018-08-19 Sun]
+#+options: toc:nil
+
+#+include: "./macros.org"
+
+This is my personal website, previous versions of which I've ran on
+different domains since 2012. The last version was generated using
+[[https://www.romanzolotarev.com/ssg.html][ssg]] (shout out to Roman Zolotarev), but I've since ported it to GNU
+Emacs + Org mode.
+
+The sources are available on https://git.sr.ht/~aminb/aminb.org. The
+site is automatically generated on each =git push= using the
+[[https://builds.sr.ht][builds.sr.ht]] service (see the [[https://git.sr.ht/~aminb/aminb.org/tree/.build.yml][=.build.yml=]] build manifest) and is
+deployed to my server, where it's served by [[https://www.nginx.com][Nginx]] on [[https://www.debian.org][Debian GNU/Linux]].
+
+* Night mode
+
+To toggle night mode, click on {{{light}}}, which is always available
+on the top navigation menu. It saves its state in a browser cookie,
+other than that no JavaScript is required to use this website.
+
+* Copyright and Licenses
+:PROPERTIES:
+:CUSTOM_ID: copyright
+:END:
+
+The source code for this site is licensed under version 3 (or, at your
+option, any later version) of the [[https://gnu.org/licenses/gpl.html][GNU General Public License]] (see the
+[[https://git.sr.ht/~aminb/aminb.org/tree/COPYING][=COPYING=]] file). The contents of the website are licensed under a
+{{{ccbysa}}} license.
--- /dev/null
+#+title: Contact
+#+date: [2018-08-19 Sun]
+#+options: toc:nil title:nil
+#+macro: xmpp @@html:<a href="xmpp:$1">$1</a>@@
+
+#+include: "./macros.org"
+
+#+begin_export html
+<header><h1 class="title">Say hello!</h1></header>
+#+end_export
+
+You can contact me via email or through my accounts on various online
+platforms.
+
+* Contact info
+
+- [[mailto:amin@aminb.org][amin@aminb.org]]
+- [[mailto:amin@gnu.org][amin@gnu.org]], I'm a volunteer [[https://www.gnu.org/people/webmeisters.html#aminb][GNU webmaster]]
+- [[mailto:abandali@uwaterloo.ca][abandali@uwaterloo.ca]], I'm a [[file:uw.org][grad student]] @ UW
+- gpg key: [[https://pgp.surfnet.nl/pks/lookup?op=vindex&fingerprint=on&search=0xD1FBA36627D65876][CDDE 75F9 0353 8E71 813C DA27 D1FB A366 27D6 5876]]
+- aminb on [[https://freenode.net][freenode]] and [[https://wiki.mozilla.org/IRC][moznet]] IRC
+- [[https://matrix.to/#/@aminb:matrix.org][@aminb:matrix.org]] on Matrix
+- {{{xmpp(aminb@member.fsf.org)}}} via XMPP
+- [[https://pleroma.site/users/aminb][aminb@pleroma.site]] on the [[https://en.wikipedia.org/wiki/Fediverse][fediverse]]
+
+* Other online places
+
+- [[https://git.sr.ht/%257Eaminb][~aminb]] on [[https://sr.ht][sr.ht]]
+- [[https://lobste.rs/u/aminb][aminb]] on Lobsters
+- [[https://gitlab.com/aminb][aminb]] on GitLab
+- [[https://keybase.io/amin][amin]] on Keybase
+- [[https://news.ycombinator.com/user?id=aban][aban]] on HN
+- [[https://www.reddit.com/u/aminb][aminb]] on Reddit
+- +[[https://github.com/aminb][aminb]] on GitHub+
+- +[[https://twitter.com/aminban][aminban]] on Twitter+
--- /dev/null
+#+title: CV
+#+date: [2018-08-19 Sun]
+#+options: toc:nil
+
+#+include: "./macros.org"
+
+My academic {{{abbr(cv)}}} is available as [[/cv.pdf][cv.pdf]], and an outdated
+professional resume is available as [[/resume.pdf][resume.pdf]] as well.
+
+I'm interested in functional programming and functional languages,
+type systems, and formal methods in general. I love writing Haskell
+and I'm looking into Rust and Lean as well. Feel free to [[file:contact.org][drop me a
+line]] if you like to geek out about any of the above.
--- /dev/null
+!function(t){
+ t.addEventListener('DOMContentLoaded', function () {
+ var l = t.querySelector('#light-off');
+ if (l !== null) {
+ l.checked = t.cookie.match(/lightOff=true/) !== null;
+ l.addEventListener('change', function () {
+ t.cookie = 'lightOff=' + JSON.stringify(l.checked) + ';path=/';
+ });
+ }
+ })
+}(document);
--- /dev/null
+#+title:
+#+date: [2018-08-19 Sun]
+#+options: toc:nil title:nil
+
+#+include: "./macros.org"
+
+#+begin_export html
+<h1 id="hello">Hello there,</h1>
+<p>
+<img class="picture__avatar" src="https://emacsel.com/img/aminb.jpg" alt="Amin Bandali">
+</p>
+<div class="clear"></div>
+#+end_export
+
+I'm a [[file:uw.org][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.
+
+* Publications
+:PROPERTIES:
+:CUSTOM_ID: publications
+:END:
+
+- *A comparison of the declarative modelling languages B, Dash, and
+ TLA^{+}* (pdf, bib, [[https://cs.uwaterloo.ca/~nday/models/2018-modre][models]])
+
+ {{{pub-desc(Ali Abbassi\, Amin Bandali\, Nancy A. Day\, and Jose Serna. In
+ /International Workshop on Model-Driven Requirements Engineering (MoDRE) @ IEEE International Requirements Engineering Conference (RE)/.
+ To appear\, 2018.)}}}
+
+* Talks & presentations
+
+- TODO
+
+* Recent writings & essays
+
+# TODO: atom feed
+
+#+attr_html: :title November 1, 2016
+- [[file:2016/11/arch-macbook-air.org][Arch Linux on MacBook Air 2013]]
--- /dev/null
+#+macro: abbr @@html:<abbr>$1</abbr>@@
+#+macro: span @@html:<span class="$1">$2</span>@@
+#+macro: kbd @@html:<kbd>$1</kbd>@@
+#+macro: h1title @@html:<header><h1>@@{{{title}}}@@html:</h1></header>@@
+#+macro: light @@html:<label class="light-off-button-inline" for="light-off"></label>@@
+#+macro: ccbysa @@html:<a rel="license" href="//creativecommons.org/licenses/by-sa/4.0/">Creative Commons Attribution-ShareAlike 4.0 International @@{{{ccbysa-img}}}@@html:</a>@@
+#+macro: ccbysa-img @@html:<img alt="Creative Commons Licence" style="border-width:0" src="//i.creativecommons.org/l/by-sa/4.0/80x15.png"/>@@
+#+macro: pub-desc @@html:<span class="pub-desc">@@$1@@html:</span>@@
+
+#+html_head: <link rel="stylesheet" type="text/css" href="/style.css"/>
+#+html_head: <script type="text/javascript" src="/global.js"></script>
--- /dev/null
+#+title: Now
+#+date: [2018-08-19 Sun]
+#+options: toc:nil title:nil
+
+#+include: "./macros.org"
+
+Coming soon.
--- /dev/null
+#+title: Projects
+#+date: [2018-08-19 Sun]
+#+options: toc:nil title:nil
+
+#+include: "./macros.org"
+
+Coming soon.
--- /dev/null
+html, body {
+ margin: 0;
+ height: 100%;
+}
+
+body {
+ font-family: "Liberation Sans", "Arial", sans-serif;
+ color: #232323;
+}
+
+main {
+ margin: 0 auto;
+ max-width: 34em;
+ padding: 1em;
+}
+
+/* Header and Footer */
+
+#aminb { font-size: 0.9em; }
+
+#preamble,
+#postamble {
+ color: #888888;
+ padding: 1em;
+ margin: 0 auto 2em;
+ max-width: 34em;
+}
+
+#preamble { padding: 2em 1em 0em 1em; }
+
+#preamble h2 { display: inline; }
+
+#preamble a { border: none !important; color: #888 !important; }
+
+#preamble h2 a { color: #3a89c9 !important; }
+
+#preamble .bar {
+ color: #ccc;
+ font-size: 12pt;
+ vertical-align: bottom;
+ padding-left: 1px;
+ padding-right: 1px;
+}
+
+#postamble a {
+ color: #888888 !important;
+ border-bottom: 1px solid #cccccc !important;
+}
+
+/* Content */
+
+#content {
+ line-height: 1.6em;
+}
+
+#content h1, #content h2 {
+ line-height: 1em;
+ font-weight: 700;
+ letter-spacing: -0.03em;
+ word-spacing: -0.03em;
+}
+
+#content h1 { font-size: 1.6em; }
+
+#content h2 {
+ font-size: 1.2em;
+ padding: 0.25em 0;
+}
+
+#content p {
+ margin: 1em 0;
+}
+
+#content code {
+ background-color: #f5f5f5;
+ padding: 1px 3px;
+}
+
+#content code,
+#content pre {
+ font-family: "DejaVu Sans Mono", monospace;
+ font-size: 0.9em;
+ line-height: 1.5em;
+ margin: 0;
+}
+
+#content pre {
+ background-color: #f5f5f5;
+ color: #232323;
+ margin: 0 -1em;
+ overflow-x: auto;
+ padding: 1em;
+ word-wrap: normal;
+}
+
+#content ul {
+ padding: 0;
+ margin: 0.3em 0 0 1.6em;
+}
+
+#content ul li {
+ /* list-style: none; */
+}
+
+#content li {
+ margin: 0.5em 0;
+}
+
+.pub-desc {
+ font-size: 0.95em;
+}
+
+#text-publications p {
+ margin: 0.5em 0;
+}
+
+.light-off:checked ~ .page #content pre,
+.light-off:checked ~ .page #content code {
+ background-color: #232323;
+}
+
+.clear { clear: both; }
+
+#hello { float: left; line-height: 50px !important; }
+
+#content .picture__avatar {
+ margin: 0;
+ height: 64px;
+ width: 64px;
+ border-radius: 50%;
+ float: right;
+}
+
+@media only screen and (min-width: 570px) {
+ .picture__avatar {
+ margin-right: 3em !important;
+ }
+}
+
+.page {
+ background-color: #ffffff;
+ color: #232323;
+ min-height: 100%;
+}
+
+.page a {
+ color: #357edd;
+ text-decoration: none;
+ border-bottom: 1px solid #a5ceff;
+}
+
+pre { margin-left: 0 }
+
+/* Light switch */
+
+#light-off {
+ position: absolute;
+ visibility: hidden;
+}
+
+.light-off-button {
+ cursor: pointer;
+ vertical-align: middle;
+}
+
+.light-off-button,
+.light-off-button-inline {
+ color: #888888;
+ -webkit-user-select: none;
+ user-select: none;
+ cursor: pointer;
+ text-align: right;
+}
+
+.light-off-button:hover:after,
+.light-off-button-inline:hover:after {
+ color: #357edd;
+ border-bottom: 0;
+}
+
+.light-off:checked ~ .page .light-off-button:hover:after
+.light-off:checked ~ .page .light-off-button-inline:hover:after {
+ color: #ddddb6;
+ border-bottom: 0;
+}
+
+.light-off-button:after,
+.light-off-button-inline:after {
+ content: "\1F4A1";
+ font-family: "Noto Color Emoji", "Noto Sans", "Arial", sans-serif;
+}
+
+.light-off:checked ~ .page {
+ background-color: #141414;
+ color: #cccccc;
+}
+
+.page:selection {
+ background: #ddddb6;
+}
+.light-off:checked ~ .page:selection {
+ background: #357edd;
+}
+
+.light-off:checked ~ .page a, .light-off:checked ~ header a {
+ color: #ddddb6 !important;
+ border-bottom: 1px solid #aaaa96;
+}
+
+.light-off:checked ~ .page a:visited {
+ color: #888888;
+ border-bottom: 1px solid #444444;
+}
+
+.light-off:checked ~ .page a:hover {
+ color: #ddddb6;
+ border-bottom: 1px solid #ddddb6;
+}
--- /dev/null
+#+title: UWaterloo
+#+date: [2018-08-19 Sun]
+#+options: toc:nil title:nil
+
+#+include: "./macros.org"
+
+Coming soon.
+++ /dev/null
-#!/bin/sh
-
-# Copyright (C) 2018 Amin Bandali <amin@aminb.org>
-
-# This program is free software: you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation, either version 3 of the License, or
-# (at your option) any later version.
-
-# This program is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-# GNU General Public License for more details.
-
-# You should have received a copy of the GNU General Public License
-# along with this program. If not, see <https://www.gnu.org/licenses/>.
-
-# ssng is a fork of Roman Zolotarev's ssg. See end of file for ssg's
-# license notice.
-
-: "${WEBSITE_TITLE:=Amin Bandali}"
-: "${SERVER_NAME:=aminb.org}"
-: "${SERVER_PROTO:=https}"
-: "${RSS_AUTHOR:=amin@aminb.org}"
-: "${RSS_DESCRIPTION:=Personal website}"
-: "${COPYRIGHT_FROM_YEAR:=2016}"
-: "${DOCS:=out}"
-
-##########################################################################
-
-[ -n "$DOCS" ] || { echo "export DOCS <target_directory>"; exit 1; }
-DOCUMENT_ROOT=$(readlink -fn "$DOCS")
-TEMP_DIR=$(mktemp -d)
-# shellcheck disable=SC2064
-trap 'clean_up' EXIT
-trap exit HUP INT TERM
-[ "$2" = '--clean' ] && RSYNC_FLAGS='--delete-excluded' || RSYNC_FLAGS=''
-
-INDEX_HTML_FILE="$TEMP_DIR/index.html"
-CSS_FILE="$TEMP_DIR/styles.css"
-RSS_FILE="$TEMP_DIR/rss.xml"
-RSS_URL="$SERVER_PROTO://$SERVER_NAME/rss.xml"
-SITEMAP="$TEMP_DIR/sitemap.xml"
-
-ANNOUNCEMENT_FILE="$PWD/_announcement.html"
-FOOTER_FILE="$PWD/_footer.html"
-HEADER_FILE="$PWD/_header.html"
-[ -f "$ANNOUNCEMENT_FILE" ] &&
- ANNOUNCEMENT_TEXT=$(cat "$ANNOUNCEMENT_FILE")
-[ -f "$HEADER_FILE" ] &&
- HEADER=$(cat "$HEADER_FILE") ||
- HEADER=$(cat << EOF
-<a href="/">Home</a> -
-<a href="/twitter.html">Twitter</a>
-EOF
-)
-[ -f "$FOOTER_FILE" ] &&
- FOOTER=$(cat "$FOOTER_FILE") ||
- FOOTER=$(cat << EOF
-Copyright $COPYRIGHT_FROM_YEAR–$(date +%Y)
-<a href="/">$WEBSITE_TITLE</a>
-<span class="bar">|</span>
-<a href="/colophon">colophon</a>
-EOF
-)
-
-##########################################################################
-
-usage() {
- echo 'usage: DOCS=<target_directory>'
- echo
- echo ' ssg build [--clean]'
- echo ' | watch [--clean]'
- exit 1
-}
-
-copy_to_temp_dir() {
- rsync -a --delete-excluded \
- --exclude '.*' \
- --exclude '_*' \
- '.' "$TEMP_DIR"
-}
-
-copy_to_document_root() {
- [ "$(dirname "$DOCUMENT_ROOT")" = "$PWD" ] &&
- self="/$(basename "$DOCUMENT_ROOT")/" ||
- self="$DOCUMENT_ROOT"
- rsync -a $RSYNC_FLAGS \
- --exclude "$self" \
- --exclude '.*' \
- --exclude '_*' \
- "$TEMP_DIR/" "$DOCUMENT_ROOT"
-}
-
-md_to_html() {
- find "$TEMP_DIR" -type f -name '*.md'|
- while read -r file; do
- lowdown -D html-skiphtml -D html-head-ids \
- "$file" > "${file%\.md}.html" &&
- rm "$file"
- done
-}
-
-
-# filter first 20 lines with links and link titles (dates)
-# shellcheck disable=SC2016
-fst_h1='/<[h1]*( id=".*")?>/{gsub(/<[^>]*>/,"");print($0);exit;}'
-a='^<li><a href="\(.*\)" title="\([^<]*\)">[^<]*<\/a>.*<\/li>.*'
-
-line_to_rss_item() {
- url=$(echo "$line"|sed "s/$a/\\1/g")
- date=$(echo "$line"|sed "s/$a/\\2/g")
- file="${TEMP_DIR}${url}"
- [ ! -f "$file" ] && return
-
- title="$(awk "$fst_h1" "$file")"
- # replace relative URIs with absolute URIs
- article=$(sed "s/\\([hrefsc]*\\)=\"\\//\\1=\"$prefix/g" "$file")
- echo $(cat << EOF
-<item>
-<title>$title</title>
-<guid>$SERVER_PROTO://${SERVER_NAME}$url</guid>
-<link>$SERVER_PROTO://${SERVER_NAME}$url</link>
-<pubDate>$date 00:00:00 +0000</pubDate>
-<description><![CDATA[$article]]></description>
-</item>
-EOF
-)|sed 's/\ /\ /'>>"$RSS_FILE"
-}
-
-index_to_rss() {
- date_rfc_822=$(date "+%a, %d %b %Y %H:%M:%S %z")
- cat > "$RSS_FILE" << EOF
-<?xml version="1.0" encoding="utf-8"?>
-<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
-<channel>
-<atom:link href="$RSS_URL" rel="self" type="application/rss+xml" />
-<title>$WEBSITE_TITLE</title>
-<description>$RSS_DESCRIPTION</description>
-<link>$SERVER_PROTO://$SERVER_NAME/</link>
-<lastBuildDate>$date_rfc_822</lastBuildDate>
-<managingEditor>$RSS_AUTHOR</managingEditor>
-EOF
-
- prefix="$SERVER_PROTO:\\/\\/$SERVER_NAME\\/"
- grep "$a" "$INDEX_HTML_FILE" |
- head -n20 |
- while read -r line; do line_to_rss_item "$line"; done
- echo '</channel></rss>' >> "$RSS_FILE"
-}
-
-wrap_html() {
- # generate sorted sitemap
- find_h1_tag='/<[h1]*( id=".*")?>/'
- # shellcheck disable=SC2016
- tag_content='{gsub(/<[^>]*>/,"");print(FILENAME"===="$0);exit;}'
- sitemap="$(
- find "$TEMP_DIR" -type f -name '*.html'|
- while read -r file; do
- awk "${find_h1_tag}${tag_content}" "$file"
- done|
- sort
- )"
- # save sitemap in html and xml formats
- date=$(date +%Y-%m-%dT%H:%M:%S%z)
- cat > "$SITEMAP" << EOF
-<?xml version="1.0" encoding="UTF-8"?>
-<urlset
-xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
-xsi:schemaLocation="http://www.sitemaps.org/schemas/sitemap/0.9
-http://www.sitemaps.org/schemas/sitemap/0.9/sitemap.xsd"
-xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
-EOF
- echo "$sitemap"|while read -r line; do
- page=${line%====*}
- url=${page#$TEMP_DIR}
- case "$url" in
- /index.html) title='Home';;
- *) title="${line#*====}";;
- esac
- cat >> "$SITEMAP" << EOF
-<url>
-<loc>$SERVER_PROTO://${SERVER_NAME}$url</loc>
-<lastmod>$date</lastmod>
-<priority>1.0</priority>
-</url>
-EOF
- done
- echo '</urlset>' >> "$SITEMAP"
- # generate html pages
- styles=$(cat "$CSS_FILE")
- [ -n "$ANNOUNCEMENT_TEXT" ] &&
- announcement="$(cat << EOF
-<div class="announcement">
-<div class="announcement__text">$ANNOUNCEMENT_TEXT</div>
-</div>
-EOF
-)"
-echo "$sitemap"|
- while read -r line; do
- page=${line%====*}
- url=${page#$TEMP_DIR}
- article=$(cat "$page")
- case "$url" in
- /index.html)
- title='Home'
- head_title="$WEBSITE_TITLE"
- ;;
- /contact.html)
- head_title="Contact | $WEBSITE_TITLE"
- ;;
- *)
- title="${line#*====}"
- head_title="$title | $WEBSITE_TITLE"
- ;;
- esac
- # merge page with html template
- cat > "$page" <<EOF
-<!DOCTYPE html><html lang="en">
-<head><title>$head_title</title>
-<meta charset="utf-8">
-<meta name="viewport" content="width=device-width, initial-scale=1">
-<link rel="alternate" type="application/atom+xml" href="/rss.xml">
-<link rel="icon" type="image/png" href="/favicon.png">
-<style>$styles</style>
-</head>
-<body>
-<script>
-!function(t){
- t.addEventListener('DOMContentLoaded', function () {
- var l = t.querySelector('#light-off');
- if (l === null) { console.log('Lights-out...'); }
- else {
- l.checked = t.cookie.match(/lightOff=true/) !== null;
- l.addEventListener('change', function () {
- t.cookie = 'lightOff=' + JSON.stringify(l.checked) + ';path=/';
- });
- }
- })
-}(document);
-</script>
-<input class="light-off" type="checkbox" id="light-off">
-<div class="page">
-$announcement
-<header>
-$HEADER
-</header>
-<div class="article clear">$article</div>
-<footer>$FOOTER</footer>
-</div>
-</body>
-</html>
-EOF
- done
- echo "$date $(echo "$sitemap"|wc -l|tr -d ' ')pp"
-}
-
-clean_up() { rm -rf "$TEMP_DIR"; }
-
-##########################################################################
-
-case "$1" in
-
-build)
- ls index.* >/dev/null 2>&1 ||
- { echo 'no index.* found in the directory'; exit 1; }
- [ ! -x "$(which rsync)" ] &&
- { echo 'rsync(1) should be installed'; exit 1; }
- [ ! -x "$(which lowdown)" ] &&
- { echo 'lowdown(1) should be installed'; exit 1; }
- printf 'building %s %s ' "$DOCUMENT_ROOT" "$2"
- copy_to_temp_dir
- md_to_html
- index_to_rss
- wrap_html
- copy_to_document_root
- clean_up
- ;;
-
-watch)
- cmd="entr -d env DOCS=$DOCS $(basename "$0") build $2"
- pgrep -qf "$cmd" && { echo "already watching $DOCS"; exit 1; }
- echo "watching $PWD"
- [ ! -x "$(which entr)" ] &&
- { echo 'entr(1) should be installed'; exit 1; }
- while true; do
- find "$PWD" -type f \
- \( -name "$(basename "$0")" \
- -or -name '*.md' \
- -or -name '*.html' \
- -or -name '*.css' \
- -or -name '*.txt' \
- -or -name '*.jpeg' \
- -or -name '*.png' \)\
- ! -name ".*" \
- ! -path "*/.*" \
- ! -path "${DOCUMENT_ROOT}*" |
- $cmd
- done
- ;;
-
-*) usage;;
-
-esac
-
-
-## ssg's license: ##
-
-# https://www.romanzolotarev.com/bin/ssg
-# Copyright 2018 Roman Zolotarev <hi@romanzolotarev.com>
-#
-# Permission to use, copy, modify, and/or distribute this software for any
-# purpose with or without fee is hereby granted, provided that the above
-# copyright notice and this permission notice appear in all copies.
-#
-# THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
-# WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
-# MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
-# ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
-# WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
-# ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
-# OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+++ /dev/null
-body {
- font-family: "Noto Sans", "Arial", sans-serif;
- font-size: 1em;
-}
-
-body,
-html {
- margin: 0;
- height: 100%;
-}
-
-
-
-#light-off {
- position: absolute;
- visibility: hidden;
-}
-
-.light-off-button {
- cursor: pointer;
- vertical-align: middle;
-}
-
-.light-off-button,
-.light-off-button-inline {
- color: #888888;
- -webkit-user-select: none;
- user-select: none;
- cursor: pointer;
- text-align: right;
-}
-
-.light-off-button:hover:after,
-.light-off-button-inline:hover:after {
- color: #357edd;
- border-bottom: 0;
-}
-
-.light-off:checked ~ .page .light-off-button:hover:after,
-.light-off:checked ~ .page .light-off-button-inline:hover:after {
- color: #ddddb6;
- border-bottom: 0;
-}
-
-.light-off-button:after,
-.light-off-button-inline:after {
- content: "\1F4A1";
-}
-
-
-
-.page {
- background-color: #ffffff;
- color: #232323;
- min-height: 100%;
-}
-
-.light-off:checked ~ .page {
- background-color: #141414;
- color: #cccccc;
-}
-
-.page:selection {
- background: #ddddb6;
-}
-.light-off:checked ~ .page:selection {
- background: #357edd;
-}
-
-.page a {
- color: #357edd;
- text-decoration: none;
- border-bottom: 1px solid #a5ceff;
-}
-
-.page a:visited {
- color: #888888;
- border-bottom: 1px solid #cccccc;
-}
-
-.page a:hover {
- color: #357edd;
- border-bottom: 1px solid #357edd;
-}
-
-.light-off:checked ~ .page a, .light-off:checked ~ header a {
- color: #ddddb6 !important;
- border-bottom: 1px solid #aaaa96;
-}
-
-.light-off:checked ~ .page a:visited {
- color: #888888;
- border-bottom: 1px solid #444444;
-}
-
-.light-off:checked ~ .page a:hover {
- color: #ddddb6;
- border-bottom: 1px solid #ddddb6;
-}
-
-
-
-.announcement {
- color: #000000;
- background-color: #eeeeee;
- text-align: center;
- width: 100%;
- margin: 0;
-}
-
-.light-off:checked ~ .page .announcement {
- color: #ffffff;
- background-color: #000000;
-}
-
-.announcement__text {
- font-size: 1.2em;
- padding: 2em 1em;
-}
-
-.page .announcement a,
-.page .announcement a:visited,
-.page .announcement a:hover {
- color: #000000;
- border-bottom: 1px solid #888888;
-}
-
-.light-off:checked ~ .page .announcement a,
-.light-off:checked ~ .page .announcement a:visited,
-.light-off:checked ~ .page .announcement a:hover {
- color: #ffffff;
- border-bottom: 1px solid #888888;
-}
-
-.clear { clear: both; }
-
-#hello { float: left; line-height: 50px; }
-
-#aminb { font-size: 0.9em; }
-
-header,
-footer {
- color: #888888;
- padding: 1em;
- margin: 0 auto;
- max-width: 34em;
-}
-
-header { padding: 2em 1em 0em 1em; }
-
-header h2 { display: inline; }
-
-header a { border: none !important; color: #888 !important; }
-
-header h2 a { color: #3a89c9 !important; }
-
-header .bar {
- color: #ccc;
- font-size: 12pt;
- vertical-align: bottom;
- padding-left: 1px;
- padding-right: 1px;
-}
-
-footer a {
- color: #888888 !important;
- border-bottom: 1px solid #cccccc !important;
-}
-
-
-
-.article {
- line-height: 1.6em;
- margin: 0 auto;
- padding: 1em;
- max-width: 34em;
-}
-
-.article h1,
-.article h2 {
- line-height: 1em;
- font-weight: 700;
- letter-spacing: -0.03em;
- word-spacing: -0.03em;
-}
-
-.article h1 {
- font-size: 1.6em;
-}
-
-.article h2 {
- font-size: 1.2em;
- padding: 0.25em 0;
-}
-
-.article p {
- margin: 1em 0;
-}
-
-.article p img {
- margin: 1em 0;
- width: 100%;}
-
-.article hr {
- border: none;
- margin-top: 4em;
-}
-.article ul {
- padding: 0;
- margin: 0.3em 0 0 1.6em;
-}
-
-.article ul li {
- /* list-style: none; */
-}
-
-.article li {
- margin: 0.5em 0;
-}
-
-.article table {
- width: 100%;
- margin: 2em 0;
-}
-
-.article li em a {
-font-size: 0.7em;
- border-radius: 0.3em;
- padding: 0.3em;
- vertical-align: middle;
- margin: 0 0.5em;
- font-style: normal;
-}
-
-.article li em a {
- border: 1px solid #a5ceff;
-}
-
-.article li em a:visited {
- border: 1px solid #888888;
-}
-
-.article li em a:hover {
- border: 1px solid #357edd;
-}
-
-.light-off:checked ~ .page li em a {
- color: #aaaa96;
- border: 1px solid #aaaa96;
-}
-
-.light-off:checked ~ .page li em a:visited {
- color: #888888;
- border: 1px solid #888888;
-}
-
-.light-off:checked ~ .page li em a:hover {
- color: #ddddb6;
- border: 1px solid #ddddb6;
-}
-
-
-
-.article .picture a,
-.article .quote a,
-.light-off:checked ~ .page .picture a,
-.light-off:checked ~ .page .quote a {
- border: 0;
-}
-
-.article .picture__avatar {
- margin: 0;
- height: 64px;
- width: 64px;
- border-radius: 50%;
- float: right;
-}
-
-@media only screen and (min-width: 570px) {
- .picture__avatar {
- margin-right: 3em !important;
- }
-}
-
-.article .quote {
- padding-bottom: 0.4em;
-}
-
-.article .quote__avatar {
- height: 2em;
- width: 2em;
- border: 1px solid #888888;
- border-radius: 2em;
- margin: 0 0.4em 0 0; vertical-align: middle;
-}
-
-.article .quote__name,
-.article .quote__text {
- vertical-align: middle;
- font-style: italic;
-}
-
-
-.article code {
- background-color: #f5f5f5;
- padding: 1px 3px;
-}
-
-.article code,
-.article pre {
- font-family: "DejaVu Sans Mono", monospace;
- font-size: 0.9em;
- line-height: 1.5em;
- margin: 0;
-}
-
-.article pre {
- background-color: #f5f5f5;
- color: #232323;
- margin: 0 -1em;
- overflow-x: auto;
- padding: 1em;
- word-wrap: normal;
-}
-
-.light-off:checked ~ .page .article pre {
- background-color: #000000;
- color: #cccccc;
-}
projects / ~bandali / bndl.org / commitdiff