터미널에서 ‘gksudo gedit /etc/default/grub’를 입력해서 편집기를 열고 아래 줄을 다음과 같이 바꾼다 또는 마지막으로 “sudo update-grub”를 입력해서 grub를 업데이트한다.