SHARE
TWEET

Untitled

a guest Mar 20th, 2019 69 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. ### BEGIN /etc/grub.d/46_custom_proxy ###
  2.  
  3. # This file provides an easy way to add custom menu entries.  Simply type the
  4. # menu entries you want to add after this comment.  Be careful not to change
  5. # the 'exec tail' line above.
  6. if [ "${grub_platform}" == "efi" ]; then
  7. fi
  8.  
  9. ### END /etc/grub.d/46_custom_proxy ###
RAW Paste Data
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
 
Top