$schemamarkup = get_post_meta(get_the_ID(), 'schemamarkup', true); if(!empty($schemamarkup)) { echo $schemamarkup; }

Step-by-step – Ubuntu 18.04 GRUB Change Default OS Guide

July 27, 2020 | By the+gnu+linux+evangelist.

Installing

  1. 2. Enabling GRUB Customizer Repository

    Add GRUB Customizer Repository for Ubuntu GNU/Linux

    Enabling GRUB Customizer PPA for Ubuntu
  2. 3. Installing GRUB Customizer

    Then to Install GRUB Customizer in Ubuntu
    Simply run:

    sudo apt install grub-customizer

    Authenticate with the User’s Admin Pass.
    If Got “User is Not in Sudoers file” then see: How to Enable sudo.

Contents