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