[Linux] Use GRUB from a previously installed Linux in a dual boot setting

When you install a new Linux alongside another one, your computer will likely use the last installed OS’s GRUB instead of the one from the previous install. In my case, I have installed Debian, and a few days later, a Linux Mint on the same disk. But the thing is I prefer the Debian’s GRUB …

[Debian] Fix the backlight function keys on Intel GPU laptop

*UPDATE* March 10th, 2019 I have to update my post because the previous fix does not work anymore with recent versions of debian + GNOME 3, on the same laptop as before (sandybridge core i3). Now, you have to follow this suggestion given by people all around the world: edit the /etc/default/grub file in super …