archlinux: Fix HiDPI font for virtual console

It turns out the font that I was setting before didn't actually do
anything. This is the real way to double the font size in your virtual
console, particularly useful for HiDPI displays, since your tty does not
know about your X DPI.

.archlinux/install-scripts/003-configure

@@ -30,8 +30,10 @@ echo "en_US.UTF-8 UTF-8" > /mnt/etc/locale.gen
 # Generate the locale.
 arch-chroot /mnt locale-gen
 
-# Change the terminal font to a larger one (`latarcyrheb-sun32` is also an option)
-echo "FONT=ter-132n" >> /mnt/etc/vconsole.conf
+# Set the tty font to a larger one (same as the default setfont, but larger)
+if [ "$HIDPI" == "YES" ]; then
+  echo "FONT=latarcyrheb-sun32" > /mnt/etc/vconsole.conf
+fi
 
 # Install grub to the primary partition.
 arch-chroot /mnt grub-install /dev/sda

.archlinux/install-scripts/install.sh

@@ -18,6 +18,9 @@ read USERNAME
 echo -n "Enter a hostname for this machine ($USERNAME@host): "
 read HOSTNAME
 
+echo -n "Type YES to enable HiDPI support in the virtual console: "
+read HIDPI
+
 echo "-----------------------------------------------------"
 echo "Arch Linux will be installed with the settings above."
 echo "NOTE: You should not run this script if you do not"
@@ -34,10 +37,10 @@ echo "====================================================="
 echo "Running install scripts..."
 
 # Run the install scripts
-env DISTSIZE="$DISTSIZE" ./001-preinstall
-                         ./002-install
-env HOSTNAME="$HOSTNAME" ./003-configure
-env USERNAME="$USERNAME" ./004-postinstall
+env DISTSIZE="$DISTSIZE"                ./001-preinstall
+                                        ./002-install
+env HOSTNAME="$HOSTNAME" HIDPI="$HIDPI" ./003-configure
+env USERNAME="$USERNAME"                ./004-postinstall
 
 echo "Enter a password for the root user..."
 arch-chroot /mnt passwd