Para quienes instalan y usan multiples Sistemas Operativos y/o Distribuciones en sus equipos, puede resultar muy últil que el Grub (Inicio del sistema que permite seleccionar el S.O. o Distribución con el que se quiere iniciar) recuerde cuál fue el último que usaste.
En la distribución GNU/Linux Antergos se puede hacer así:
1. Editamos el archivo de grub con el siguiente comando (reemplazar gedit por el editor de su preferencia):
gksu gedit /etc/default/grub
1.1. Buscamos la línea:
GRUB_DEFAULT=0
1.2. Y la cambiamos por:
GRUB_DEFAULT=saved
1.3. Buscamos la línea comentada (#):
#GRUB_SAVEDEFAULT=true
1.4. Y la descomentamos (quitamos el signo #), quedando así:
GRUB_SAVEDEFAULT=true
1.5. Guardamos y cerramos.
2. Regeneramos el grub con el siguiente comando:
sudo grub-mkconfig -o /boot/grub/grub.cfg