| 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 Amin Bandali (often =bandali= or =aminb= on [[/contact][the interwebs]]). I’m |
| 22 | currently a [[/uw][graduate student]] in the [[https://watform.uwaterloo.ca][WatForm]] group at University of |
| 23 | Waterloo, supervised by [[https://cs.uwaterloo.ca/~nday/][Nancy Day]]. My current research focuses on |
| 24 | formal logic, model checking, and verification. On the side, I also |
| 25 | dabble 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]]. |
| 26 | |
| 27 | ** CV |
| 28 | :PROPERTIES: |
| 29 | :EXPORT_FILE_NAME: cv |
| 30 | :EXPORT_HUGO_MENU: :menu topnav :weight 10 |
| 31 | :END: |
| 32 | |
| 33 | My academic {{{abbr(CV)}}} is available as [[/cv.pdf][cv.pdf]], |
| 34 | and an outdated professional resume is available as [[/resume.pdf][resume.pdf]] as |
| 35 | well. |
| 36 | |
| 37 | I'm interested in functional programming and functional languages, |
| 38 | type systems, and formal methods in general. I love writing Haskell |
| 39 | and I'm looking into Rust and Lean as well. Feel free to [[/contact][drop me a |
| 40 | line]] if you like to geek out about any of the above. |
| 41 | |
| 42 | ** DONE Now |
| 43 | CLOSED: [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 | |
| 51 | This is my [[https://nownownow.com/about][now page]]. |
| 52 | |
| 53 | I'm currently a [[/uw][graduate student]] in the Waterloo Formal Methods group |
| 54 | at University of Waterloo. I just finished my degree’s coursework |
| 55 | requirements in Fall 2018, and will be focusing on my thesis starting |
| 56 | this term, Winter 2019. |
| 57 | |
| 58 | In my spare time, I write [[https://www.gnu.org/philosophy/free-sw.en.html][free software]] (see my [[/projects][projects]] page), and |
| 59 | tend to various tasks as a GNU webmaster. I've also been picking up |
| 60 | the guitar, after giving up on my longtime dream of being a pianist |
| 61 | (at least for now). |
| 62 | |
| 63 | This update was on {{< lastmod >}}. |
| 64 | |
| 65 | ** DONE Projects |
| 66 | CLOSED: [2019-01-06 Sun 22:37] |
| 67 | :PROPERTIES: |
| 68 | :EXPORT_FILE_NAME: projects |
| 69 | :EXPORT_HUGO_MENU: :menu topnav :weight 30 |
| 70 | :END: |
| 71 | |
| 72 | TODO: set up projects page with my projects. |
| 73 | |
| 74 | In the mean time, have a look at [[https://git.aminb.org][git.aminb.org]] instead. |
| 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@bndl.org][amin@bndl.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 at [[https://git.aminb.org/aminb.org]]. On each |
| 145 | =git push=, the repository is mirrored from my personal server to my |
| 146 | sr.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 |
| 148 | deployed back to my server, where it's served using [[https://www.nginx.com][Nginx]] on [[https://www.debian.org][Debian |
| 149 | GNU/Linux]]. |
| 150 | |
| 151 | *** Night mode |
| 152 | |
| 153 | To toggle night mode, click on {{{light}}}, which is always available |
| 154 | on the top navigation menu. It saves its state in a browser cookie, |
| 155 | other than that no JavaScript is required to use this website. |
| 156 | |
| 157 | *** Copyright and Licenses |
| 158 | :PROPERTIES: |
| 159 | :CUSTOM_ID: copyright |
| 160 | :END: |
| 161 | |
| 162 | The source code for this site is licensed under version 3 (or, at your |
| 163 | option, any later version) of the [[https://gnu.org/licenses/gpl.html][GNU General Public License]] (see the |
| 164 | [[https://git.aminb.org/aminb.org/tree/COPYING][=COPYING=]] file). The contents of the website are licensed under a |
| 165 | {{{ccbysa}}} license. |
| 166 | |
| 167 | *** i2p angel |
| 168 | :PROPERTIES: |
| 169 | :CUSTOM_ID: i2pangel |
| 170 | :END: |
| 171 | |
| 172 | The favicons were derived from [[https://psychosoma.tech][nether]]'s beautiful [[https://psychosoma.tech/me/work/i2pangel.png][i2p angel]], a copy of |
| 173 | which is displayed on [[https://git.aminb.org][git.aminb.org]]. |
| 174 | |
| 175 | ** GPG |
| 176 | :PROPERTIES: |
| 177 | :EXPORT_FILE_NAME: gpg |
| 178 | :END: |
| 179 | |
| 180 | My [[https://aminb.org/0xA21A020248816103.txt][current key]] is:[fn:1] |
| 181 | |
| 182 | #+begin_src txt |
| 183 | pub rsa4096 2018-10-17 [C] [expires: 2020-10-16] |
| 184 | BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103 |
| 185 | uid [ultimate] Amin Bandali <bandali@gnu.org> |
| 186 | sub rsa4096 2018-10-17 [S] [expires: 2020-10-16] |
| 187 | 39B3 3C8D 9448 0D2D DCC2 A498 8B44 A0CD C7B9 56F2 |
| 188 | sub rsa4096 2018-10-17 [E] [expires: 2020-10-16] |
| 189 | 43ED 5F7C F5EC CBDF 2552 FE98 1D52 D14E BCF3 BE08 |
| 190 | sub rsa4096 2018-10-17 [A] [expires: 2020-10-16] |
| 191 | 70FB 9AAD 5240 2841 2B14 8685 4040 DFEC 6EC1 3F3A |
| 192 | #+end_src |
| 193 | |
| 194 | My [[https://aminb.org/0xD1FBA36627D65876.txt][previous key]], from which I transitioned away, is: |
| 195 | |
| 196 | #+begin_src txt |
| 197 | pub rsa4096 2018-08-05 [C] [expires: 2018-11-16] |
| 198 | CDDE 75F9 0353 8E71 813C DA27 D1FB A366 27D6 5876 |
| 199 | uid [ultimate] Amin Bandali <amin@gnu.org> |
| 200 | uid [ultimate] Amin Bandali <amin@aminb.org> |
| 201 | uid [ultimate] Amin Bandali <mab@gnu.org> |
| 202 | uid [ultimate] Amin Bandali <aminb@gnu.org> |
| 203 | sub rsa4096 2018-08-05 [S] [expires: 2018-11-16] |
| 204 | E14F 56EE 1338 901E A8A8 D2DD 91A9 6FF7 FEF6 BEB4 |
| 205 | sub rsa4096 2018-08-05 [E] [expires: 2018-11-16] |
| 206 | F9B3 BA24 31A0 9B38 31A3 42EF 1F29 83A9 9A69 D453 |
| 207 | sub rsa4096 2018-08-05 [A] [expires: 2018-11-16] |
| 208 | 4FB5 D03D A65E 8DA3 39BE 5EDD 6DC3 8F21 4E4B AAA0 |
| 209 | #+end_src |
| 210 | |
| 211 | You can obtain my key transition statement signed with both of the |
| 212 | above keys from https://aminb.org/key-transition-2018-10-17.txt. |
| 213 | |
| 214 | *** Older keys |
| 215 | |
| 216 | #+begin_src txt |
| 217 | pub rsa4096 2016-01-31 [SC] [expires: 2019-02-13] |
| 218 | 500C 1D55 D1EC 1FED E8C0 C8DE 4E05 246A B0BF 7FFB |
| 219 | uid [ultimate] Amin Bandali <amin@aminb.org> |
| 220 | uid [ultimate] Amin Bandali <aminb@gnu.org> |
| 221 | uid [ultimate] Amin Bandali <b@nda.li> |
| 222 | uid [ultimate] Amin Bandali <me@aminb.org> |
| 223 | sub rsa4096 2016-01-31 [S] [expires: 2019-02-13] |
| 224 | 5AC5 0B1B D540 A902 D4B6 2B5C DAE5 4A52 337F 0283 |
| 225 | sub rsa4096 2016-01-31 [E] [expires: 2019-02-13] |
| 226 | F05B FB25 77C7 5AF6 7783 A66F 3351 056A ACD6 6B1F |
| 227 | sub rsa4096 2016-01-31 [A] [expires: 2019-02-13] |
| 228 | C165 6BE2 FDCA D028 0D5A 4314 3A4A C417 58E9 C177 |
| 229 | #+end_src |
| 230 | |
| 231 | The key transition statement I'd generated when transitioning away |
| 232 | from this key is available on |
| 233 | https://aminb.org/key-transition-2018-08-17.txt. |
| 234 | |
| 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: |
| 243 | Results from static site search implemented using /Fusejs/, /jquery/ |
| 244 | and /mark.js/. -- [[https://gist.github.com/eddiewebb/735feb48f50f0ddd65ae5606a1cb41ae][Source]] |
| 245 | |
| 246 | * Posts |
| 247 | :PROPERTIES: |
| 248 | :EXPORT_HUGO_SECTION: post |
| 249 | :EXPORT_HUGO_AUTO_SET_LASTMOD: t |
| 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 |
| 256 | :EXPORT_OPTIONS: ^:{} |
| 257 | :EXPORT_HUGO_ALIASES: /2016/11/arch-macbook-air |
| 258 | :EXPORT_HUGO_CUSTOM_FRONT_MATTER: :toc true |
| 259 | :END: |
| 260 | |
| 261 | This post summarizes how I install and dual-boot Arch GNU/Linux with |
| 262 | Full-Disk Encryption alongside macOS. It is not meant to be a |
| 263 | 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]]. |
| 264 | Rather, it mostly serves as a small summary with a few useful notes |
| 265 | about the gotchas. |
| 266 | |
| 267 | So, make sure you understand what you type into your terminal. If you |
| 268 | don't, checking out the Arch wiki should probably be your first step. |
| 269 | |
| 270 | /Note:/ you will need internet access throughout the installation and |
| 271 | the MacBook Air's WiFi doesn't work out of the box on Arch. I |
| 272 | recommend using your phone's USB Tethering (if it does support it), or |
| 273 | using an Ethernet-USB adapter. |
| 274 | |
| 275 | *** Shrinking the macOS partition |
| 276 | |
| 277 | The first step I take is resizing the HFS+ macOS partition to make |
| 278 | room for the new {{{abbr(GNU/Linux)}}} installation. There are plenty |
| 279 | of tutorials on how to do this using macOS's Disk Utility, so do that |
| 280 | and then come back! |
| 281 | |
| 282 | *** Creating a bootable Arch Installer USB |
| 283 | |
| 284 | There are different ways of creating a bootable Arch USB, all |
| 285 | documented on the [[https://wiki.archlinux.org/index.php/USB_flash_installation_media][USB flash installation media]] page on the Arch wiki, |
| 286 | but the simplest one is using =dd= if you already have access to |
| 287 | another UNIX system. |
| 288 | |
| 289 | {{{span(red,Warning:)}}} make sure you backup the data on your flash |
| 290 | drive, as =dd= will irrevocably destroy all data on it. |
| 291 | |
| 292 | Use =lsblk= to find the name (block device) of your USB drive, then |
| 293 | run =dd= (as root) as shown below: |
| 294 | |
| 295 | #+begin_src bash |
| 296 | dd bs=4M if=/path/to/archlinux.iso of=/dev/sdx status=progress && sync |
| 297 | #+end_src |
| 298 | |
| 299 | Replace =/path/to/archlinux.iso= with the path to the Arch image you |
| 300 | have downloaded, and =/dev/sdx= with your drive. |
| 301 | |
| 302 | *** Booting up from the USB |
| 303 | |
| 304 | After creating the install USB, reboot your laptop and hold the alt |
| 305 | key and boot into the USB. |
| 306 | |
| 307 | When booting is complete and you're presented with the prompt, it's a |
| 308 | good time to make sure you're connected to the internet (see the |
| 309 | /note/ at the top of this post). |
| 310 | |
| 311 | Use =ping= to verify that you've established a connection: |
| 312 | |
| 313 | #+begin_src bash |
| 314 | ping archlinux.org |
| 315 | #+end_src |
| 316 | |
| 317 | *** Updating the system clock |
| 318 | |
| 319 | Once you're connected to the internet, make sure the system clock is |
| 320 | accurate: |
| 321 | |
| 322 | #+begin_src bash |
| 323 | timedatectl set-ntp true # start and enable systemd-timesyncd |
| 324 | #+end_src |
| 325 | |
| 326 | You can check the service status using =timedatectl status=. |
| 327 | |
| 328 | *** Partitioning |
| 329 | :PROPERTIES: |
| 330 | :CUSTOM_ID: partitioning |
| 331 | :END: |
| 332 | |
| 333 | I 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 |
| 335 | personally prefer =cfdisk=. |
| 336 | |
| 337 | *** Setting up LVM & LUKS |
| 338 | |
| 339 | 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 |
| 340 | partition. |
| 341 | |
| 342 | First, let's set up the underlying encrypted partition: |
| 343 | |
| 344 | #+begin_src bash |
| 345 | cryptsetup -v --cipher aes-xts-plain64 --key-size 512 --hash sha512 \ |
| 346 | --iter-time 5000 --use-urandom -y luksFormat /dev/sdaX |
| 347 | #+end_src |
| 348 | |
| 349 | where =/dev/sdaX= is the partition you created in the last step |
| 350 | (e.g. =/dev/sda4=). For more information about the =cryptsetup= |
| 351 | options, see the [[https://wiki.archlinux.org/index.php/Dm-crypt/Device_encryption#Encryption_options_for_LUKS_mode][LUKS encryption options]]. |
| 352 | |
| 353 | Then we open the container: |
| 354 | |
| 355 | #+begin_src bash |
| 356 | cryptsetup open --type luks /dev/sdaX lvm |
| 357 | #+end_src |
| 358 | |
| 359 | Now it's time to use lvm and prepare the logical volume(s): |
| 360 | |
| 361 | #+begin_src bash |
| 362 | pvcreate /dev/mapper/lvm |
| 363 | vgcreate vg /dev/mapper/lvm |
| 364 | lvcreate --extents +100%FREE -n root vg |
| 365 | #+end_src |
| 366 | |
| 367 | This will create a physical volume on the mapping we just opened, |
| 368 | create a volume group named =vg= on the physical volume, and create a |
| 369 | logical volume named =root= that spans the entire volume group. More |
| 370 | complex setups are possible thanks to the great flexibility of lvm. |
| 371 | |
| 372 | We now format the logical volume with =ext4=: |
| 373 | |
| 374 | #+begin_src bash |
| 375 | mkfs.ext4 /dev/mapper/vg-root |
| 376 | #+end_src |
| 377 | |
| 378 | *** Installing the base system |
| 379 | |
| 380 | Let's mount the logical volume, make a directory for the mount point |
| 381 | of the boot partition, and mount the boot partition (=/dev/sda1=): |
| 382 | |
| 383 | #+begin_src bash |
| 384 | mount /dev/mapper/vg-root /mnt |
| 385 | mkdir /mnt/boot |
| 386 | mount /dev/sda1 /mnt/boot |
| 387 | #+end_src |
| 388 | |
| 389 | Finally, let's install the base system (and optionally =base-devel=): |
| 390 | |
| 391 | #+begin_src bash |
| 392 | pacstrap /mnt base base-devel |
| 393 | #+end_src |
| 394 | |
| 395 | *** Configuring the system |
| 396 | |
| 397 | Let's generate the fstab: |
| 398 | |
| 399 | #+begin_src bash |
| 400 | genfstab -U /mnt >> /mnt/etc/fstab |
| 401 | #+end_src |
| 402 | |
| 403 | Use your favorite terminal-based editor, edit the fstab file and add |
| 404 | the =discard= option for the root partition to enable TRIM on the SSD. |
| 405 | |
| 406 | Now we change root into our newly installed system and will configure |
| 407 | it. Adjust these according to your own setup. |
| 408 | |
| 409 | #+begin_src bash |
| 410 | arch-chroot /mnt /bin/bash |
| 411 | passwd # set the root password |
| 412 | echo myhostname > /etc/hostname # set the hostname |
| 413 | ln -s /usr/share/zoneinfo/Canada/Eastern /etc/localtime # time zone |
| 414 | hwclock --systohc --utc # write system clock to hardware clock (UTC) |
| 415 | useradd -m -G wheel -s /bin/bash myuser # create myuser |
| 416 | passwd myuser # set the password for myuser |
| 417 | echo "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 |
| 419 | locale-gen |
| 420 | echo LANG=en_US.UTF-8 > /etc/locale.conf |
| 421 | export LANG=en_US.UTF-8 |
| 422 | #+end_src |
| 423 | |
| 424 | Then adjust the initramfs hooks in =/etc/mkinitcpio.conf= and enable |
| 425 | the =encrypt= and =lvm2= hooks, and make sure =keyboard= is available |
| 426 | before =encrypt= so you can actually type in the LUKS password when |
| 427 | booting. Your =HOOKS= line should look similar to this: |
| 428 | |
| 429 | #+begin_src |
| 430 | HOOKS="base udev autodetect modconf block keyboard encrypt lvm2 filesystems fsck" |
| 431 | #+end_src |
| 432 | |
| 433 | After adjusting the hooks, build the initramfs: |
| 434 | |
| 435 | #+begin_src bash |
| 436 | mkinitcpio -p linux |
| 437 | #+end_src |
| 438 | |
| 439 | Now, install the =intel-ucode= package. We'll configure the bootloader |
| 440 | to enable intel microcode updates. |
| 441 | |
| 442 | #+begin_src bash |
| 443 | pacman -S intel-ucode |
| 444 | #+end_src |
| 445 | |
| 446 | Create the =/boot/loader/loader.conf= with the following content |
| 447 | (adjust the timeout to your liking): |
| 448 | |
| 449 | #+begin_src |
| 450 | default arch |
| 451 | timeout 3 |
| 452 | #+end_src |
| 453 | |
| 454 | Then create the entry for Arch: |
| 455 | |
| 456 | #+begin_src bash |
| 457 | mkdir -p /boot/loader/entries |
| 458 | touch /boot/loader/entries/arch.conf |
| 459 | #+end_src |
| 460 | |
| 461 | Now edit =/boot/loader/entries/arch.conf= to specify the Arch entry: |
| 462 | |
| 463 | #+begin_src |
| 464 | title Arch GNU/Linux |
| 465 | linux /vmlinuz-linux |
| 466 | initrd /intel-ucode.img |
| 467 | initrd /initramfs-linux.img |
| 468 | options cryptdevice=/dev/sdaX:vg:allow-discards root=/dev/mapper/vg-root rw |
| 469 | #+end_src |
| 470 | |
| 471 | Again, =/dev/sdaX= is the partition you created in the [[#partitioning][partitioning]] |
| 472 | step as the underlying encrypted partition. |
| 473 | |
| 474 | Finally, install the bootloader, exit the chroot, umount and reboot! |
| 475 | |
| 476 | #+begin_src bash |
| 477 | bootctl install |
| 478 | exit |
| 479 | umount -R /mnt |
| 480 | reboot |
| 481 | #+end_src |
| 482 | |
| 483 | *** Post-installation recommendations |
| 484 | |
| 485 | Congratulations! You now have a minimal Arch installation. |
| 486 | |
| 487 | At this point, I usually install my favorite AUR helper, [[https://aur.archlinux.org/packages/pacaur/][pacaur]], then |
| 488 | 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]] |
| 489 | backlight driver to fix the post suspend/resume issue where three's no |
| 490 | brightness after waking up from suspend, and the only available |
| 491 | brightness would be 100%. |
| 492 | |
| 493 | #+begin_src bash |
| 494 | pacaur -S linux-headers dkms # linux-headers is required for dkms |
| 495 | pacaur -S broadcom-wl-dkms |
| 496 | pacaur -S mba6x_bl-dkms |
| 497 | #+end_src |
| 498 | |
| 499 | Then, 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 | |
| 506 | Check out the [[https://wiki.archlinux.org/index.php/General_recommendations][General recommendations]] for more details. |
| 507 | |
| 508 | *** References |
| 509 | |
| 510 | Here are some resources I've come across each with lots of useful bits |
| 511 | and 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 | |
| 522 | |
| 523 | * Footnotes |
| 524 | |
| 525 | [fn:1] Key summaries generated by including the =--list-key=, |
| 526 | =--with-fingerprint=, and =--with-subkey-fingerprint= switches along |
| 527 | with the key id when calling =gpg=. |
| 528 | |
| 529 | * COMMENT Local Variables :ARCHIVE: |
| 530 | # Local Variables: |
| 531 | # eval: (org-hugo-auto-export-mode) |
| 532 | # org-hugo-footer: "\n\n[//]: # \"Exported with love from a post written in Org mode\"\n[//]: # \"- https://ox-hugo.scripter.co\"" |
| 533 | # End: |