Skip to content

Instantly share code, notes, and snippets.

@wormeyman

wormeyman/GrubCustomizer

Last active November 9, 2022 10:32
Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save wormeyman/8427417 to your computer and use it in GitHub Desktop.
Save wormeyman/8427417 to your computer and use it in GitHub Desktop.
Download ZIP
Install Grub Customizer
Raw
GrubCustomizer
#!/bin/bash
sudo add-apt-repository ppa:danielrichter2007/grub-customizer &&
sudo apt-get update &&
sudo apt-get install grub-customizer
# All on one line!
# sudo add-apt-repository ppa:danielrichter2007/grub-customizer && sudo apt-get update && sudo apt-get install grub-customizer
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment