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