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