diff --git a/.archlinux/install-scripts/003-configure b/.archlinux/install-scripts/003-configure
index 3da8f2d4..ab11b93c 100755
--- a/.archlinux/install-scripts/003-configure
+++ b/.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
diff --git a/.archlinux/install-scripts/install.sh b/.archlinux/install-scripts/install.sh
index bd5f8899..f2a26c4e 100755
--- a/.archlinux/install-scripts/install.sh
+++ b/.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