-
Committer:
Robert C Jennings
-
Date:
2016-05-27 14:25:36 UTC
-
Revision ID:
robert.jennings@canonical.com-20160527142536-3tha5e2ibwcoaiw5
Append grub options as root
Previously the script attempted to append to the grub config file
as the current user. This patch changes this to properly use sudo.