The aforementioned `sudo chmod -x` command has the side-effect that update-grub will be left non-executable in case of power cut.
The aforementioned `sudo chmod -x` command has the side-effect that update-grub will be left non-executable in case of power cut.