https://unix.stackexchange.com/questions/111889/how-do-i-update-grub-in-arch-linux
Anonymous
Programmer time is expensive, conserve it in preference to machine time.