API tools faq
paste
Guest User

Untitled

a guest
May 27th, 2019
42
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 2.52 KB | None | 0 0
raw download clone embed print report
  1. # If you change this file, run 'update-grub' afterwards to update
  2. # /boot/grub/grub.cfg.
  3. # For full documentation of the options in this file, see:
  4. # info -f grub -n 'Simple configuration'
  5.  
  6. GRUB_DEFAULT=0
  7. GRUB_TIMEOUT_STYLE=hidden
  8. GRUB_TIMEOUT=0
  9. GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
  10. GRUB_CMDLINE_LINUX_DEFAULT="quiet splash intel_iommu=on iommu=pt"
  11. GRUB_CMDLINE_LINUX=""
  12.  
  13. # Uncomment to enable BadRAM filtering, modify to suit your needs
  14. # This works with Linux (no patch required) and with any kernel that obtains
  15. # the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...)
  16. #GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"
  17.  
  18. # Uncomment to disable graphical terminal (grub-pc only)
  19. #GRUB_TERMINAL=console
  20.  
  21. # The resolution used on graphical terminal
  22. # note that you can use only modes which your graphic card supports via VBE
  23. # you can see them in real GRUB with the command `vbeinfo'
  24. #GRUB_GFXMODE=640x480
  25.  
  26. # Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux
  27. #GRUB_DISABLE_LINUX_UUID=true
  28.  
  29. # Uncomment to disable generation of recovery mode menu entries
  30. #GRUB_DISABLE_RECOVERY="true"
  31.  
  32. # Uncomment to get a beep at grub start
  33. #GRUB_INIT_TUNE="480 440 1"
  34. root@shrikant:/home/shrikant# cat /etc/default/grub
  35. # If you change this file, run 'update-grub' afterwards to update
  36. # /boot/grub/grub.cfg.
  37. # For full documentation of the options in this file, see:
  38. # info -f grub -n 'Simple configuration'
  39.  
  40. GRUB_DEFAULT=0
  41. GRUB_TIMEOUT_STYLE=hidden
  42. GRUB_TIMEOUT=0
  43. GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
  44. GRUB_CMDLINE_LINUX_DEFAULT="quiet splash intel_iommu=on iommu=pt"
  45. GRUB_CMDLINE_LINUX=""
  46.  
  47. # Uncomment to enable BadRAM filtering, modify to suit your needs
  48. # This works with Linux (no patch required) and with any kernel that obtains
  49. # the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...)
  50. #GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"
  51.  
  52. # Uncomment to disable graphical terminal (grub-pc only)
  53. #GRUB_TERMINAL=console
  54.  
  55. # The resolution used on graphical terminal
  56. # note that you can use only modes which your graphic card supports via VBE
  57. # you can see them in real GRUB with the command `vbeinfo'
  58. #GRUB_GFXMODE=640x480
  59.  
  60. # Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux
  61. #GRUB_DISABLE_LINUX_UUID=true
  62.  
  63. # Uncomment to disable generation of recovery mode menu entries
  64. #GRUB_DISABLE_RECOVERY="true"
  65.  
  66. # Uncomment to get a beep at grub start
  67. #GRUB_INIT_TUNE="480 440 1"
Add Comment
Please, Sign In to add comment
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!