| Current Path : /proc/6158/root/boot/grub/ |
| Current File : //proc/6158/root/boot/grub/default |
0 # # # # # # # # # # # WARNING: If you want to edit this file directly, do not remove any line # from this file, including this warning. Using `grub-set-default\' is # strongly recommended.