back to using bandali@ instead of mab@ as my primary gnu address
[~bandali/bndl.org] / content-org / aminb.org
CommitLineData
caf3b78c
AB
1#+title: sources of aminb.org's pages and posts
2
3#+hugo_base_dir: ..
4#+seq_todo: TODO DRAFT DONE
5#+property: header-args :eval never-export
6#+options: author:nil
7
8#+macro: abbr @@html:<abbr>$1</abbr>@@
9#+macro: span @@html:<span class="$1">$2</span>@@
10
bdec7790 11* Pages
ae39b0da
AB
12:PROPERTIES:
13:EXPORT_HUGO_SECTION: /
bdec7790
AB
14:END:
15
16** Home
17:PROPERTIES:
ae39b0da
AB
18:EXPORT_FILE_NAME: _index
19:END:
20
eaf5a338
AB
21I'm Amin Bandali (often =bandali= or =aminb= on [[/contact][the interwebs]]). I’m
22currently a [[/uw][graduate student]] in the [[https://watform.uwaterloo.ca][WatForm]] group at University of
23Waterloo, supervised by [[https://cs.uwaterloo.ca/~nday/][Nancy Day]]. My current research focuses on
24formal logic, model checking, and verification. On the side, I also
25dabble in [[https://leanprover.github.io][Lean]] and [[https://www.rust-lang.org][Rust]], and I enjoy [[https://stallman.org/articles/on-hacking.html][hacking]] on [[https://www.gnu.org/software/emacs/manual/elisp.html][Elisp]].
ae39b0da 26
caf3b78c
AB
27** CV
28:PROPERTIES:
29:EXPORT_FILE_NAME: cv
bdec7790 30:EXPORT_HUGO_MENU: :menu topnav :weight 10
caf3b78c
AB
31:END:
32
33My academic {{{abbr(CV)}}} is available as [[/cv.pdf][cv.pdf]],
34and an outdated professional resume is available as [[/resume.pdf][resume.pdf]] as
35well.
36
37I'm interested in functional programming and functional languages,
38type systems, and formal methods in general. I love writing Haskell
39and I'm looking into Rust and Lean as well. Feel free to [[/contact][drop me a
40line]] if you like to geek out about any of the above.
41
345fdf43
AB
42** DONE Now
43CLOSED: [2018-09-04 Tue 10:53]
44:PROPERTIES:
45:EXPORT_FILE_NAME: now
46:EXPORT_HUGO_AUTO_SET_LASTMOD: t
47:EXPORT_HUGO_MENU: :menu topnav :weight 20
48:EXPORT_HUGO_CUSTOM_FRONT_MATTER: :customTitle "What I'm doing now"
49:END:
50
51This is my [[https://nownownow.com/about][now page]].
52
53497e5e
AB
53I'm currently a [[/uw][graduate student]] in the Waterloo Formal Methods group
54at University of Waterloo. I just finished my degree’s coursework
55requirements in Fall 2018, and will be focusing on my thesis starting
56this term, Winter 2019.
345fdf43 57
53497e5e
AB
58In my spare time, I write [[https://www.gnu.org/philosophy/free-sw.en.html][free software]] (see my [[/projects][projects]] page), and
59tend to various tasks as a GNU webmaster. I've also been picking up
20bac649
AB
60the guitar, after giving up on my longtime dream of being a pianist
61(at least for now).
345fdf43
AB
62
63This update was on {{< lastmod >}}.
caf3b78c 64
4541f4ad 65** DONE Projects
9b858c06 66CLOSED: [2019-01-06 Sun 22:37]
4541f4ad
AB
67:PROPERTIES:
68:EXPORT_FILE_NAME: projects
69:EXPORT_HUGO_MENU: :menu topnav :weight 30
70:END:
71
9b858c06 72TODO: set up projects page with my projects.
4541f4ad 73
9b858c06 74In the mean time, have a look at [[https://git.aminb.org][git.aminb.org]] instead.
caf3b78c 75
d6fab81a
AB
76** DONE Contact
77CLOSED: [2018-09-03 Mon 20:44]
78:PROPERTIES:
79:EXPORT_FILE_NAME: contact
bdec7790 80:EXPORT_HUGO_MENU: :menu topnav :weight 40
d6fab81a
AB
81:EXPORT_HUGO_CUSTOM_FRONT_MATTER: :customTitle "Say hello!"
82:END:
83
84#+macro: xmpp @@html:<a href="xmpp:$1">$1</a>@@
85
86You can contact me via email or through my accounts on various online
87platforms.
88
6f99381c 89*** Primary
d6fab81a 90
6f99381c
AB
91Email is my preferred method of communication.
92
d2d271fd 93- [[mailto:amin@bndl.org][amin@bndl.org]], personal or general inquiries
f052da50 94- [[mailto:bandali@gnu.org][bandali@gnu.org]], GNU- or free software-related ([[/gpg][gpg key]])
6f99381c 95- [[mailto:abandali@uwaterloo.ca][abandali@uwaterloo.ca]], academic or UW-related
6f99381c
AB
96
97*** Secondary
98
99- irc: bandali on [[https://freenode.net][freenode]] and [[https://wiki.mozilla.org/IRC][moznet]]
f052da50 100- xmpp: {{{xmpp(bandali@member.fsf.org)}}}
ed1b80bb 101- matrix: [[https://matrix.to/#/@bandali:matrix.org][@bandali:matrix.org]]
f052da50 102- fediverse: [[https://pleroma.site/users/aminb][aminb@pleroma.site]]
d6fab81a
AB
103
104*** Other online places
105
c8dc487a
AB
106- [[https://git.sr.ht/~bandali][bandali]] on [[https://sr.ht][sr.ht]]
107- [[https://savannah.gnu.org/users/bandali][bandali]] on Savannah
30827978 108- [[https://lobste.rs/u/bandali][bandali]] on Lobsters
32d82dc5 109- [[https://hackage.haskell.org/user/bandali][bandali]] on Hackage
30827978
AB
110- [[https://gitlab.com/bandali][bandali]] on GitLab
111- [[https://keybase.io/bandali][bandali]] on Keybase
ff88e9ad 112- [[https://news.ycombinator.com/user?id=bandali][bandali]] on HN
6f99381c
AB
113- [[https://www.reddit.com/u/bandali][bandali]] on Reddit
114
115*** Dormant accounts
116
117These are accounts I don't use anymore, unless absolutely necessary.
118
119- [[https://functional.cafe/@a][a]] on functional.cafe
120- [[https://mastodon.social/@aminb][aminb]] on mastodon.social
c8dc487a 121- [[https://savannah.gnu.org/users/aminb][aminb]] on Savannah
32d82dc5 122- [[https://hackage.haskell.org/user/aminb][aminb]] on Hackage
6f99381c
AB
123- [[https://github.com/aminb][aminb]] on GitHub
124- [[https://www.reddit.com/u/aminb][aminb]] on Reddit
125- [[https://twitter.com/aminban][aminban]] on Twitter
caf3b78c 126
eac9e3d2
AB
127** Colophon
128:PROPERTIES:
129:EXPORT_FILE_NAME: colophon
eac9e3d2
AB
130:END:
131
132#+macro: light @@html:<label class="light-off-button-inline" for="light-off"></label>@@
133#+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>@@
134#+macro: ccbysa-img @@html:<img alt="Creative Commons Licence" style="border-width:0" src="//i.creativecommons.org/l/by-sa/4.0/80x15.png"/>@@
135
136This is my personal website, previous versions of which I've ran on
3f126e4c
AB
137different domains since 2012. I've previously used Octopress, Jekyll,
138a [[https://github.com/aminb/blog-old][custom]] static site generator written in Haskell (kudos to [[https://ruudvanasseldonk.com][Ruud van
af0b7ec5 139Asseldonk]]), [[https://www.romanzolotarev.com/ssg.html][ssg]] (shout out to [[https://www.romanzolotarev.com][Roman Zolotarev]]), and [[https://orgmode.org/manual/Publishing.html][org-publish]] (see
0db8c2d8
AB
140also [[https://ambrevar.xyz/blog-architecture/index.html][A blog in pure Org/Lisp]]); but I've since ported it to [[https://ox-hugo.scripter.co/][ox-hugo]], a
141"carefully crafted Org exporter back-end for Hugo" (kudos to [[https://scripter.co][Kaushal
142Modi]]). I've never been happier with my setup.
3f126e4c 143
a37e0b62
AB
144The sources are available at [[https://git.aminb.org/aminb.org]]. On each
145=git push=, the repository is mirrored from my personal server to my
146sr.ht account, the site is then automatically generated using the
147[[https://builds.sr.ht][builds.sr.ht]] service (see the [[https://git.aminb.org/aminb.org/tree/.build.yml][=.build.yml=]] build manifest), and is
148deployed back to my server, where it's served using [[https://www.nginx.com][Nginx]] on [[https://www.debian.org][Debian
9e7f482c 149GNU/Linux]].
eac9e3d2
AB
150
151*** Night mode
152
153To toggle night mode, click on {{{light}}}, which is always available
154on the top navigation menu. It saves its state in a browser cookie,
155other than that no JavaScript is required to use this website.
156
157*** Copyright and Licenses
158:PROPERTIES:
159:CUSTOM_ID: copyright
160:END:
161
162The source code for this site is licensed under version 3 (or, at your
163option, any later version) of the [[https://gnu.org/licenses/gpl.html][GNU General Public License]] (see the
a37e0b62 164[[https://git.aminb.org/aminb.org/tree/COPYING][=COPYING=]] file). The contents of the website are licensed under a
eac9e3d2
AB
165{{{ccbysa}}} license.
166
84421557
AB
167*** i2p angel
168:PROPERTIES:
169:CUSTOM_ID: i2pangel
170:END:
171
eaf5a338
AB
172The favicons were derived from [[https://psychosoma.tech][nether]]'s beautiful [[https://psychosoma.tech/me/work/i2pangel.png][i2p angel]], a copy of
173which is displayed on [[https://git.aminb.org][git.aminb.org]].
84421557 174
f052da50
AB
175** GPG
176:PROPERTIES:
177:EXPORT_FILE_NAME: gpg
178:END:
179
180My [[https://aminb.org/0xA21A020248816103.txt][current key]] is:[fn:1]
181
182#+begin_src txt
183pub rsa4096 2018-10-17 [C] [expires: 2020-10-16]
184 BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103
185uid [ultimate] Amin Bandali <bandali@gnu.org>
186sub rsa4096 2018-10-17 [S] [expires: 2020-10-16]
187 39B3 3C8D 9448 0D2D DCC2 A498 8B44 A0CD C7B9 56F2
188sub rsa4096 2018-10-17 [E] [expires: 2020-10-16]
189 43ED 5F7C F5EC CBDF 2552 FE98 1D52 D14E BCF3 BE08
190sub rsa4096 2018-10-17 [A] [expires: 2020-10-16]
191 70FB 9AAD 5240 2841 2B14 8685 4040 DFEC 6EC1 3F3A
192#+end_src
193
194My [[https://aminb.org/0xD1FBA36627D65876.txt][previous key]], from which I transitioned away, is:
195
196#+begin_src txt
197pub rsa4096 2018-08-05 [C] [expires: 2018-11-16]
198 CDDE 75F9 0353 8E71 813C DA27 D1FB A366 27D6 5876
199uid [ultimate] Amin Bandali <amin@gnu.org>
200uid [ultimate] Amin Bandali <amin@aminb.org>
201uid [ultimate] Amin Bandali <mab@gnu.org>
202uid [ultimate] Amin Bandali <aminb@gnu.org>
203sub rsa4096 2018-08-05 [S] [expires: 2018-11-16]
204 E14F 56EE 1338 901E A8A8 D2DD 91A9 6FF7 FEF6 BEB4
205sub rsa4096 2018-08-05 [E] [expires: 2018-11-16]
206 F9B3 BA24 31A0 9B38 31A3 42EF 1F29 83A9 9A69 D453
207sub rsa4096 2018-08-05 [A] [expires: 2018-11-16]
208 4FB5 D03D A65E 8DA3 39BE 5EDD 6DC3 8F21 4E4B AAA0
209#+end_src
210
211You can obtain my key transition statement signed with both of the
212above keys from https://aminb.org/key-transition-2018-10-17.txt.
213
214*** Older keys
215
216#+begin_src txt
217pub rsa4096 2016-01-31 [SC] [expires: 2019-02-13]
218 500C 1D55 D1EC 1FED E8C0 C8DE 4E05 246A B0BF 7FFB
219uid [ultimate] Amin Bandali <amin@aminb.org>
220uid [ultimate] Amin Bandali <aminb@gnu.org>
221uid [ultimate] Amin Bandali <b@nda.li>
222uid [ultimate] Amin Bandali <me@aminb.org>
223sub rsa4096 2016-01-31 [S] [expires: 2019-02-13]
224 5AC5 0B1B D540 A902 D4B6 2B5C DAE5 4A52 337F 0283
225sub rsa4096 2016-01-31 [E] [expires: 2019-02-13]
226 F05B FB25 77C7 5AF6 7783 A66F 3351 056A ACD6 6B1F
227sub rsa4096 2016-01-31 [A] [expires: 2019-02-13]
228 C165 6BE2 FDCA D028 0D5A 4314 3A4A C417 58E9 C177
229#+end_src
230
231The key transition statement I'd generated when transitioning away
232from this key is available on
233https://aminb.org/key-transition-2018-08-17.txt.
234
bdec7790
AB
235** Search
236:PROPERTIES:
237:EXPORT_HUGO_SECTION: /
238:EXPORT_FILE_NAME: search
239:EXPORT_HUGO_LAYOUT: search
240:EXPORT_HUGO_OUTPUTS: html json
241:EXPORT_HUGO_CUSTOM_FRONT_MATTER: :sitemap '((priority . 0.1))
242:END:
243Results from static site search implemented using /Fusejs/, /jquery/
244and /mark.js/. -- [[https://gist.github.com/eddiewebb/735feb48f50f0ddd65ae5606a1cb41ae][Source]]
245
caf3b78c
AB
246* Posts
247:PROPERTIES:
248:EXPORT_HUGO_SECTION: post
ae39b0da 249:EXPORT_HUGO_AUTO_SET_LASTMOD: t
caf3b78c
AB
250:END:
251
252** Arch GNU/Linux on MacBook Air 2013 :arch:macbook:
253:PROPERTIES:
254:EXPORT_FILE_NAME: arch-macbook-air
255:EXPORT_DATE: 2016-11-01
caf3b78c 256:EXPORT_OPTIONS: ^:{}
ae39b0da
AB
257:EXPORT_HUGO_ALIASES: /2016/11/arch-macbook-air
258:EXPORT_HUGO_CUSTOM_FRONT_MATTER: :toc true
caf3b78c
AB
259:END:
260
261This post summarizes how I install and dual-boot Arch GNU/Linux with
262Full-Disk Encryption alongside macOS. It is not meant to be a
263replacement 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]].
264Rather, it mostly serves as a small summary with a few useful notes
265about the gotchas.
266
267So, make sure you understand what you type into your terminal. If you
268don't, checking out the Arch wiki should probably be your first step.
269
270/Note:/ you will need internet access throughout the installation and
271the MacBook Air's WiFi doesn't work out of the box on Arch. I
272recommend using your phone's USB Tethering (if it does support it), or
273using an Ethernet-USB adapter.
274
275*** Shrinking the macOS partition
276
277The first step I take is resizing the HFS+ macOS partition to make
278room for the new {{{abbr(GNU/Linux)}}} installation. There are plenty
279of tutorials on how to do this using macOS's Disk Utility, so do that
280and then come back!
281
282*** Creating a bootable Arch Installer USB
283
284There are different ways of creating a bootable Arch USB, all
285documented on the [[https://wiki.archlinux.org/index.php/USB_flash_installation_media][USB flash installation media]] page on the Arch wiki,
286but the simplest one is using =dd= if you already have access to
287another UNIX system.
288
289{{{span(red,Warning:)}}} make sure you backup the data on your flash
290drive, as =dd= will irrevocably destroy all data on it.
291
292Use =lsblk= to find the name (block device) of your USB drive, then
293run =dd= (as root) as shown below:
294
295#+begin_src bash
296dd bs=4M if=/path/to/archlinux.iso of=/dev/sdx status=progress && sync
297#+end_src
298
299Replace =/path/to/archlinux.iso= with the path to the Arch image you
300have downloaded, and =/dev/sdx= with your drive.
301
302*** Booting up from the USB
303
304After creating the install USB, reboot your laptop and hold the alt
305key and boot into the USB.
306
307When booting is complete and you're presented with the prompt, it's a
308good time to make sure you're connected to the internet (see the
309/note/ at the top of this post).
310
311Use =ping= to verify that you've established a connection:
312
313#+begin_src bash
314ping archlinux.org
315#+end_src
316
317*** Updating the system clock
318
319Once you're connected to the internet, make sure the system clock is
320accurate:
321
322#+begin_src bash
323timedatectl set-ntp true # start and enable systemd-timesyncd
324#+end_src
325
326You can check the service status using =timedatectl status=.
327
328*** Partitioning
329:PROPERTIES:
330:CUSTOM_ID: partitioning
331:END:
332
333I won't dive into partitioning and instead, I'll refer you to the
334[[https://wiki.archlinux.org/index.php/Partitioning][Partitioning]] page of Arch wiki. Of the available partitioning tools, I
335personally prefer =cfdisk=.
336
337*** Setting up LVM & LUKS
338
339I 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
340partition.
341
342First, let's set up the underlying encrypted partition:
343
344#+begin_src bash
345cryptsetup -v --cipher aes-xts-plain64 --key-size 512 --hash sha512 \
346 --iter-time 5000 --use-urandom -y luksFormat /dev/sdaX
347#+end_src
348
349where =/dev/sdaX= is the partition you created in the last step
350(e.g. =/dev/sda4=). For more information about the =cryptsetup=
351options, see the [[https://wiki.archlinux.org/index.php/Dm-crypt/Device_encryption#Encryption_options_for_LUKS_mode][LUKS encryption options]].
352
353Then we open the container:
354
355#+begin_src bash
356cryptsetup open --type luks /dev/sdaX lvm
357#+end_src
358
359Now it's time to use lvm and prepare the logical volume(s):
360
361#+begin_src bash
362pvcreate /dev/mapper/lvm
363vgcreate vg /dev/mapper/lvm
364lvcreate --extents +100%FREE -n root vg
365#+end_src
366
367This will create a physical volume on the mapping we just opened,
368create a volume group named =vg= on the physical volume, and create a
369logical volume named =root= that spans the entire volume group. More
370complex setups are possible thanks to the great flexibility of lvm.
371
372We now format the logical volume with =ext4=:
373
374#+begin_src bash
375mkfs.ext4 /dev/mapper/vg-root
376#+end_src
377
378*** Installing the base system
379
380Let's mount the logical volume, make a directory for the mount point
381of the boot partition, and mount the boot partition (=/dev/sda1=):
382
383#+begin_src bash
384mount /dev/mapper/vg-root /mnt
385mkdir /mnt/boot
386mount /dev/sda1 /mnt/boot
387#+end_src
388
389Finally, let's install the base system (and optionally =base-devel=):
390
391#+begin_src bash
392pacstrap /mnt base base-devel
393#+end_src
394
395*** Configuring the system
396
397Let's generate the fstab:
398
399#+begin_src bash
400genfstab -U /mnt >> /mnt/etc/fstab
401#+end_src
402
403Use your favorite terminal-based editor, edit the fstab file and add
404the =discard= option for the root partition to enable TRIM on the SSD.
405
406Now we change root into our newly installed system and will configure
407it. Adjust these according to your own setup.
408
409#+begin_src bash
410arch-chroot /mnt /bin/bash
411passwd # set the root password
412echo myhostname > /etc/hostname # set the hostname
413ln -s /usr/share/zoneinfo/Canada/Eastern /etc/localtime # time zone
414hwclock --systohc --utc # write system clock to hardware clock (UTC)
415useradd -m -G wheel -s /bin/bash myuser # create myuser
416passwd myuser # set the password for myuser
417echo "myuser ALL=(ALL) NOPASSWD: ALL" >> /etc/sudoers.d/myuser
418# uncomment en_US.UTF-8 UTF-8 and other needed locales in /etc/locale.gen
419locale-gen
420echo LANG=en_US.UTF-8 > /etc/locale.conf
421export LANG=en_US.UTF-8
422#+end_src
423
424Then adjust the initramfs hooks in =/etc/mkinitcpio.conf= and enable
425the =encrypt= and =lvm2= hooks, and make sure =keyboard= is available
426before =encrypt= so you can actually type in the LUKS password when
427booting. Your =HOOKS= line should look similar to this:
428
429#+begin_src
430HOOKS="base udev autodetect modconf block keyboard encrypt lvm2 filesystems fsck"
431#+end_src
432
433After adjusting the hooks, build the initramfs:
434
435#+begin_src bash
436mkinitcpio -p linux
437#+end_src
438
439Now, install the =intel-ucode= package. We'll configure the bootloader
440to enable intel microcode updates.
441
442#+begin_src bash
443pacman -S intel-ucode
444#+end_src
445
446Create the =/boot/loader/loader.conf= with the following content
447(adjust the timeout to your liking):
448
449#+begin_src
450default arch
451timeout 3
452#+end_src
453
454Then create the entry for Arch:
455
456#+begin_src bash
457mkdir -p /boot/loader/entries
458touch /boot/loader/entries/arch.conf
459#+end_src
460
461Now edit =/boot/loader/entries/arch.conf= to specify the Arch entry:
462
463#+begin_src
464title Arch GNU/Linux
465linux /vmlinuz-linux
466initrd /intel-ucode.img
467initrd /initramfs-linux.img
468options cryptdevice=/dev/sdaX:vg:allow-discards root=/dev/mapper/vg-root rw
469#+end_src
470
471Again, =/dev/sdaX= is the partition you created in the [[#partitioning][partitioning]]
472step as the underlying encrypted partition.
473
474Finally, install the bootloader, exit the chroot, umount and reboot!
475
476#+begin_src bash
477bootctl install
478exit
479umount -R /mnt
480reboot
481#+end_src
482
483*** Post-installation recommendations
484
485Congratulations! You now have a minimal Arch installation.
486
487At this point, I usually install my favorite AUR helper, [[https://aur.archlinux.org/packages/pacaur/][pacaur]], then
488I 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]]
489backlight driver to fix the post suspend/resume issue where three's no
490brightness after waking up from suspend, and the only available
491brightness would be 100%.
492
493#+begin_src bash
494pacaur -S linux-headers dkms # linux-headers is required for dkms
495pacaur -S broadcom-wl-dkms
496pacaur -S mba6x_bl-dkms
497#+end_src
498
499Then, I'd like to install
500
501- input, graphics, and sound drivers,
502- a desktop environment (I prefer Xfce or LXQt),
503- a display manager for login screen (lightdm or sddm), and
504- a network manager (NetworkManager or ConnMan).
505
506Check out the [[https://wiki.archlinux.org/index.php/General_recommendations][General recommendations]] for more details.
507
508*** References
509
510Here are some resources I've come across each with lots of useful bits
511and pieces, about installing Arch on a MacBook:
512
513- [[https://github.com/pandeiro/arch-on-air][pandeiro/arch-on-air]]
514- [[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]]
515- [[http://frankshin.com/installing-archlinux-on-macbook-air-2013/][Installing Archlinux on Macbook Air 2013]]
516- [[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)]]
517- [[https://visual-assault.org/2016/03/05/install-encrypted-arch-linux-on-apple-macbook-pro/][Installing (encrypted) Arch Linux on an Apple MacBook Pro]]
518- [[http://alexeyzabelin.com/arch-on-mac][Installing Arch Linux on a MacBook Air 2013]]
519- [[https://medium.com/phils-thought-bubble-of-recent-stuff/arch-linux-running-on-my-macbook-2ea525ebefe3][Arch Linux running on my MacBook]]
520- [[http://codylittlewood.com/arch-linux-on-macbook-pro-installation/][Dual boot Arch Linux on MacBook Pro Installation]]
521
caf3b78c 522
f052da50
AB
523* Footnotes
524
525[fn:1] Key summaries generated by including the =--list-key=,
526=--with-fingerprint=, and =--with-subkey-fingerprint= switches along
527with the key id when calling =gpg=.
528
caf3b78c
AB
529* COMMENT Local Variables :ARCHIVE:
530# Local Variables:
97644ee8 531# eval: (org-hugo-auto-export-mode)
bdec7790 532# org-hugo-footer: "\n\n[//]: # \"Exported with love from a post written in Org mode\"\n[//]: # \"- https://ox-hugo.scripter.co\""
caf3b78c 533# End: