data/cache/f/f04e19f4aee372f8894d6168028d51af.i

   1 a:16:{i:0;a:3:{i:0;s:14:"document_start";i:1;a:0:{}i:2;i:0;}i:1;a:3:{i:0;s:6:"p_open";i:1;a:0:{}i:2;i:0;}i:2;a:3:{i:0;s:7:"p_close";i:1;a:0:{}i:2;i:1;}i:3;a:3:{i:0;s:12:"section_edit";i:1;a:4:{i:0;i:-1;i:1;i:0;i:2;i:1;i:3;s:0:"";}i:2;i:1;}i:4;a:3:{i:0;s:6:"header";i:1;a:3:{i:0;s:4:"Grub";i:1;i:1;i:2;i:1;}i:2;i:1;}i:5;a:3:{i:0;s:12:"section_open";i:1;a:1:{i:0;i:1;}i:2;i:1;}i:6;a:2:{i:0;s:6:"plugin";i:1;a:4:{i:0;s:7:"uparrow";i:1;a:1:{i:0;s:42:"lib/plugins/uparrow/images/tango-small.png";}i:2;i:1;i:3;s:6:"~~UP~~";}}i:7;a:3:{i:0;s:13:"section_close";i:1;a:0:{}i:2;i:21;}i:8;a:3:{i:0;s:12:"section_edit";i:1;a:4:{i:0;i:1;i:1;i:20;i:2;i:1;i:3;s:4:"Grub";}i:2;i:21;}i:9;a:3:{i:0;s:6:"header";i:1;a:3:{i:0;s:32:"How to change grub configuration";i:1;i:2;i:2;i:21;}i:2;i:21;}i:10;a:3:{i:0;s:12:"section_open";i:1;a:1:{i:0;i:2;}i:2;i:21;}i:11;a:3:{i:0;s:4:"code";i:1;a:3:{i:0;s:250:"
   2 # let's edit grub configuration file
   3 $ sudo vim /etc/default/grub
   4   # sets the nth list item to be the default choice
   5   GRUB_DEFAULT=n
   6   # sets n second of wait before the default choice starts
   7   GRUB_TIMEOUT=n
   8 # updates the grub
   9 $ sudo update-grub
  10 ";i:1;s:4:"bash";i:2;N;}i:2;i:71;}i:12;a:2:{i:0;s:6:"plugin";i:1;a:4:{i:0;s:7:"uparrow";i:1;a:1:{i:0;s:42:"lib/plugins/uparrow/images/tango-small.png";}i:2;i:1;i:3;s:6:"~~UP~~";}}i:13;a:3:{i:0;s:13:"section_close";i:1;a:0:{}i:2;i:334;}i:14;a:3:{i:0;s:12:"section_edit";i:1;a:4:{i:0;i:21;i:1;i:0;i:2;i:2;i:3;s:32:"How to change grub configuration";}i:2;i:334;}i:15;a:3:{i:0;s:12:"document_end";i:1;a:0:{}i:2;i:334;}}