From: Amin Bandali Date: Thu, 6 Dec 2018 06:57:30 +0000 (-0500) Subject: delete old stuff from previous version of the site X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/commitdiff_plain/a46a86fb27f906679b450dd535da61d6e78750c9 delete old stuff from previous version of the site --- diff --git a/source/2016/11/arch-macbook-air.org b/source/2016/11/arch-macbook-air.org deleted file mode 100644 index b808320..0000000 --- a/source/2016/11/arch-macbook-air.org +++ /dev/null @@ -1,266 +0,0 @@ -#+title: Arch Linux on MacBook Air 2013 -#+date: [2016-11-01 Tue] -#+options: ^:nil - -#+include: "../../macros.org" - -This post summarizes how I install and dual-boot Arch Linux with -Full-Disk Encryption alongside macOS. It is not meant to be a -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]]. -Rather, it mostly serves as a small summary with a few useful notes -about the gotchas. - -So, make sure you understand what you type into your terminal. If you -don't, checking out the Arch wiki should probably be your first step. - -/Note:/ you will need internet access throughout the installation and -the MacBook Air's WiFi doesn't work out of the box on Arch Linux. I -recommend using your phone's USB Tethering (if it does support it), or -using an Ethernet-USB adapter. - -* Shrinking the macOS partition - -The first step I take is resizing the HFS+ macOS partition to make -room for the new {{{abbr(GNU/Linux)}}} installation. There are plenty -of tutorials on how to do this using macOS's Disk Utility, so do that -and then come back! - -* Creating a bootable Arch Linux Installer USB - -There are different ways of creating a bootable Arch Linux USB, all -documented on the [[https://wiki.archlinux.org/index.php/USB_flash_installation_media][USB flash installation media]] page on the Arch wiki, -but the simplest one is using =dd= if you already have access to -another UNIX system. - -{{{span(red,Warning:)}}} make sure you backup the data on your flash -drive, as =dd= will irrevocably destroy all data on it. - -Use =lsblk= to find the name (block device) of your USB drive, then -run =dd= (as root) as shown below: - -#+begin_src bash -dd bs=4M if=/path/to/archlinux.iso of=/dev/sdx status=progress && sync -#+end_src - -Replace =/path/to/archlinux.iso= with the path to the Arch image you -have downloaded, and =/dev/sdx= with your drive. - -* Booting up from the USB - -After creating the install USB, reboot your laptop and hold the alt -key and boot into the USB. - -When booting is complete and you're presented with the prompt, it's a -good time to make sure you're connected to the internet (see the -/note/ at the top of this post). - -Use =ping= to verify that you've established a connection: - -#+begin_src bash -ping archlinux.org -#+end_src - -* Updating the system clock - -Once you're connected to the internet, make sure the system clock is -accurate: - -#+begin_src bash -timedatectl set-ntp true # start and enable systemd-timesyncd -#+end_src - -You can check the service status using =timedatectl status=. - -* Partitioning -:PROPERTIES: -:CUSTOM_ID: partitioning -:END: - -I won't dive into partitioning and instead, I'll refer you to the -[[https://wiki.archlinux.org/index.php/Partitioning][Partitioning]] page of Arch wiki. Of the available partitioning tools, I -personally prefer =cfdisk=. - -* Setting up LVM & LUKS - -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 -partition. - -First, let's set up the underlying encrypted partition: - -#+begin_src bash -cryptsetup -v --cipher aes-xts-plain64 --key-size 512 --hash sha512 \ - --iter-time 5000 --use-urandom -y luksFormat /dev/sdaX -#+end_src - -where =/dev/sdaX= is the partition you created in the last step -(e.g. =/dev/sda4=). For more information about the =cryptsetup= -options, see the [[https://wiki.archlinux.org/index.php/Dm-crypt/Device_encryption#Encryption_options_for_LUKS_mode][LUKS encryption options]]. - -Then we open the container: - -#+begin_src bash -cryptsetup open --type luks /dev/sdaX lvm -#+end_src - -Now it's time to use lvm and prepare the logical volume(s): - -#+begin_src bash -pvcreate /dev/mapper/lvm -vgcreate vg /dev/mapper/lvm -lvcreate --extents +100%FREE -n root vg -#+end_src - -This will create a physical volume on the mapping we just opened, -create a volume group named =vg= on the physical volume, and create a -logical volume named =root= that spans the entire volume group. More -complex setups are possible thanks to the great flexibility of lvm. - -We now format the logical volume with =ext4=: - -#+begin_src bash -mkfs.ext4 /dev/mapper/vg-root -#+end_src - -* Installing the base system - -Let's mount the logical volume, make a directory for the mount point -of the boot partition, and mount the boot partition (=/dev/sda1=): - -#+begin_src bash -mount /dev/mapper/vg-root /mnt -mkdir /mnt/boot -mount /dev/sda1 /mnt/boot -#+end_src - -Finally, let's install the base system (and optionally =base-devel=): - -#+begin_src bash -pacstrap /mnt base base-devel -#+end_src - -* Configuring the system - -Let's generate the fstab: - -#+begin_src bash -genfstab -U /mnt >> /mnt/etc/fstab -#+end_src - -Use your favorite terminal-based editor, edit the fstab file and add -the =discard= option for the root partition to enable TRIM on the SSD. - -Now we change root into our newly installed system and will configure -it. Adjust these according to your own setup. - -#+begin_src bash -arch-chroot /mnt /bin/bash -passwd # set the root password -echo myhostname > /etc/hostname # set the hostname -ln -s /usr/share/zoneinfo/Canada/Eastern /etc/localtime # time zone -hwclock --systohc --utc # write system clock to hardware clock (UTC) -useradd -m -G wheel -s /bin/bash myuser # create myuser -passwd myuser # set the password for myuser -echo "myuser ALL=(ALL) NOPASSWD: ALL" >> /etc/sudoers.d/myuser -# uncomment en_US.UTF-8 UTF-8 and other needed locales in /etc/locale.gen -locale-gen -echo LANG=en_US.UTF-8 > /etc/locale.conf -export LANG=en_US.UTF-8 -#+end_src - -Then adjust the initramfs hooks in =/etc/mkinitcpio.conf= and enable -the =encrypt= and =lvm2= hooks, and make sure =keyboard= is available -before =encrypt= so you can actually type in the LUKS password when -booting. Your =HOOKS= line should look similar to this: - -#+begin_src -HOOKS="base udev autodetect modconf block keyboard encrypt lvm2 filesystems fsck" -#+end_src - -After adjusting the hooks, build the initramfs: - -#+begin_src bash -mkinitcpio -p linux -#+end_src - -Now, install the =intel-ucode= package. We'll configure the bootloader -to enable intel microcode updates. - -#+begin_src bash -pacman -S intel-ucode -#+end_src - -Create the =/boot/loader/loader.conf= with the following content -(adjust the timeout to your liking): - -#+begin_src -default arch -timeout 3 -#+end_src - -Then create the entry for Arch: - -#+begin_src bash -mkdir -p /boot/loader/entries -touch /boot/loader/entries/arch.conf -#+end_src - -Now edit =/boot/loader/entries/arch.conf= to specify the Arch entry: - -#+begin_src -title Arch Linux -linux /vmlinuz-linux -initrd /intel-ucode.img -initrd /initramfs-linux.img -options cryptdevice=/dev/sdaX:vg:allow-discards root=/dev/mapper/vg-root rw -#+end_src - -Again, =/dev/sdaX= is the partition you created in the [[#partitioning][partitioning]] -step as the underlying encrypted partition. - -Finally, install the bootloader, exit the chroot, umount and reboot! - -#+begin_src bash -bootctl install -exit -umount -R /mnt -reboot -#+end_src - -* Post-installation recommendations - -Congratulations! You now have a minimal Arch installation. - -At this point, I usually install my favorite AUR helper, [[https://aur.archlinux.org/packages/pacaur/][pacaur]], then -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]] -backlight driver to fix the post suspend/resume issue where three's no -brightness after waking up from suspend, and the only available -brightness would be 100%. - -#+begin_src bash -pacaur -S linux-headers dkms # linux-headers is required for dkms -pacaur -S broadcom-wl-dkms -pacaur -S mba6x_bl-dkms -#+end_src - -Then, I'd like to install - -- input, graphics, and sound drivers, -- a desktop environment (I prefer Xfce or LXQt), -- a display manager for login screen (lightdm or sddm), and -- a network manager (NetworkManager or ConnMan). - -Check out the [[https://wiki.archlinux.org/index.php/General_recommendations][General recommendations]] for more details. - -* References - -Here are some resources I've come across each with lots of useful bits -and pieces, about installing Arch on a MacBook: - -- [[https://github.com/pandeiro/arch-on-air][pandeiro/arch-on-air]] -- [[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]] -- [[http://frankshin.com/installing-archlinux-on-macbook-air-2013/][Installing Archlinux on Macbook Air 2013]] -- [[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)]] -- [[https://visual-assault.org/2016/03/05/install-encrypted-arch-linux-on-apple-macbook-pro/][Installing (encrypted) Arch Linux on an Apple MacBook Pro]] -- [[http://alexeyzabelin.com/arch-on-mac][Installing Arch Linux on a MacBook Air 2013]] -- [[https://medium.com/phils-thought-bubble-of-recent-stuff/arch-linux-running-on-my-macbook-2ea525ebefe3][Arch Linux running on my MacBook]] -- [[http://codylittlewood.com/arch-linux-on-macbook-pro-installation/][Dual boot Arch Linux on MacBook Pro Installation]] diff --git a/source/colophon.org b/source/colophon.org deleted file mode 100644 index b941794..0000000 --- a/source/colophon.org +++ /dev/null @@ -1,31 +0,0 @@ -#+title: Colophon -#+date: [2018-08-19 Sun] -#+options: toc:nil - -#+include: "./macros.org" - -This is my personal website, previous versions of which I've ran on -different domains since 2012. The last version was generated using -[[https://www.romanzolotarev.com/ssg.html][ssg]] (shout out to Roman Zolotarev), but I've since ported it to GNU -Emacs + Org mode. - -The sources are available on https://git.sr.ht/~aminb/aminb.org. The -site is automatically generated on each =git push= using the -[[https://builds.sr.ht][builds.sr.ht]] service (see the [[https://git.sr.ht/~aminb/aminb.org/tree/.build.yml][=.build.yml=]] build manifest) and is -deployed to my server, where it's served by [[https://www.nginx.com][Nginx]] on [[https://www.debian.org][Debian GNU/Linux]]. - -* Night mode - -To toggle night mode, click on {{{light}}}, which is always available -on the top navigation menu. It saves its state in a browser cookie, -other than that no JavaScript is required to use this website. - -* Copyright and Licenses -:PROPERTIES: -:CUSTOM_ID: copyright -:END: - -The source code for this site is licensed under version 3 (or, at your -option, any later version) of the [[https://gnu.org/licenses/gpl.html][GNU General Public License]] (see the -[[https://git.sr.ht/~aminb/aminb.org/tree/COPYING][=COPYING=]] file). The contents of the website are licensed under a -{{{ccbysa}}} license. diff --git a/source/contact.org b/source/contact.org deleted file mode 100644 index 32b5656..0000000 --- a/source/contact.org +++ /dev/null @@ -1,35 +0,0 @@ -#+title: Contact -#+date: [2018-08-19 Sun] -#+options: toc:nil title:nil -#+macro: xmpp @@html:$1@@ - -#+include: "./macros.org" - -#+begin_export html -

Say hello!

-#+end_export - -You can contact me via email or through my accounts on various online -platforms. - -* Contact info - -- [[mailto:amin@aminb.org][amin@aminb.org]] -- [[mailto:amin@gnu.org][amin@gnu.org]], I'm a volunteer [[https://www.gnu.org/people/webmeisters.html#aminb][GNU webmaster]] -- [[mailto:abandali@uwaterloo.ca][abandali@uwaterloo.ca]], I'm a [[file:uw.org][grad student]] @ UW -- gpg key: [[https://pgp.surfnet.nl/pks/lookup?op=vindex&fingerprint=on&search=0xD1FBA36627D65876][CDDE 75F9 0353 8E71 813C DA27 D1FB A366 27D6 5876]] -- aminb on [[https://freenode.net][freenode]] and [[https://wiki.mozilla.org/IRC][moznet]] IRC -- [[https://matrix.to/#/@aminb:matrix.org][@aminb:matrix.org]] on Matrix -- {{{xmpp(aminb@member.fsf.org)}}} via XMPP -- [[https://pleroma.site/users/aminb][aminb@pleroma.site]] on the [[https://en.wikipedia.org/wiki/Fediverse][fediverse]] - -* Other online places - -- [[https://git.sr.ht/%257Eaminb][~aminb]] on [[https://sr.ht][sr.ht]] -- [[https://lobste.rs/u/aminb][aminb]] on Lobsters -- [[https://gitlab.com/aminb][aminb]] on GitLab -- [[https://keybase.io/amin][amin]] on Keybase -- [[https://news.ycombinator.com/user?id=aban][aban]] on HN -- [[https://www.reddit.com/u/aminb][aminb]] on Reddit -- +[[https://github.com/aminb][aminb]] on GitHub+ -- +[[https://twitter.com/aminban][aminban]] on Twitter+ diff --git a/source/cv.org b/source/cv.org deleted file mode 100644 index 22bbdd4..0000000 --- a/source/cv.org +++ /dev/null @@ -1,13 +0,0 @@ -#+title: CV -#+date: [2018-08-19 Sun] -#+options: toc:nil - -#+include: "./macros.org" - -My academic {{{abbr(cv)}}} is available as [[/cv.pdf][cv.pdf]], and an outdated -professional resume is available as [[/resume.pdf][resume.pdf]] as well. - -I'm interested in functional programming and functional languages, -type systems, and formal methods in general. I love writing Haskell -and I'm looking into Rust and Lean as well. Feel free to [[file:contact.org][drop me a -line]] if you like to geek out about any of the above. diff --git a/source/index.org b/source/index.org deleted file mode 100644 index 74e5fe1..0000000 --- a/source/index.org +++ /dev/null @@ -1,40 +0,0 @@ -#+title: -#+date: [2018-08-19 Sun] -#+options: toc:nil title:nil - -#+include: "./macros.org" - -#+begin_export html -

Hello there,

-

-Amin Bandali -

-
-#+end_export - -I'm a [[file:uw.org][graduate student]] in the [[https://watform.uwaterloo.ca][WatForm]] group at University of Waterloo, -supervised by [[https://cs.uwaterloo.ca/~nday/][Dr. Nancy Day]]. I'm interested in using formal methods, -especially type systems, to help make software more reliable. - -* Publications -:PROPERTIES: -:CUSTOM_ID: publications -:END: - -- *A comparison of the declarative modelling languages B, Dash, and - TLA^{+}* (pdf, bib, [[https://cs.uwaterloo.ca/~nday/models/2018-modre][models]]) - - {{{pub-desc(Ali Abbassi\, Amin Bandali\, Nancy A. Day\, and Jose Serna. In - /International Workshop on Model-Driven Requirements Engineering (MoDRE) @ IEEE International Requirements Engineering Conference (RE)/. - To appear\, 2018.)}}} - -* Talks & presentations - -- TODO - -* Recent writings & essays - -# TODO: atom feed - -#+attr_html: :title November 1, 2016 -- [[file:2016/11/arch-macbook-air.org][Arch Linux on MacBook Air 2013]] diff --git a/source/macros.org b/source/macros.org deleted file mode 100644 index 7c88c3c..0000000 --- a/source/macros.org +++ /dev/null @@ -1,11 +0,0 @@ -#+macro: abbr @@html:$1@@ -#+macro: span @@html:$2@@ -#+macro: kbd @@html:$1@@ -#+macro: h1title @@html:

@@{{{title}}}@@html:

@@ -#+macro: light @@html:@@ -#+macro: ccbysa @@html:Creative Commons Attribution-ShareAlike 4.0 International @@{{{ccbysa-img}}}@@html:@@ -#+macro: ccbysa-img @@html:Creative Commons Licence@@ -#+macro: pub-desc @@html:@@$1@@html:@@ - -#+html_head: -#+html_head: diff --git a/source/now.org b/source/now.org deleted file mode 100644 index e5fbc50..0000000 --- a/source/now.org +++ /dev/null @@ -1,7 +0,0 @@ -#+title: Now -#+date: [2018-08-19 Sun] -#+options: toc:nil title:nil - -#+include: "./macros.org" - -Coming soon. diff --git a/source/projects.org b/source/projects.org deleted file mode 100644 index 4e7da08..0000000 --- a/source/projects.org +++ /dev/null @@ -1,7 +0,0 @@ -#+title: Projects -#+date: [2018-08-19 Sun] -#+options: toc:nil title:nil - -#+include: "./macros.org" - -Coming soon. diff --git a/source/uw.org b/source/uw.org deleted file mode 100644 index c9a3504..0000000 --- a/source/uw.org +++ /dev/null @@ -1,7 +0,0 @@ -#+title: UWaterloo -#+date: [2018-08-19 Sun] -#+options: toc:nil title:nil - -#+include: "./macros.org" - -Coming soon.