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

How to Switch GCC Version on Ubuntu 20.04

August 7, 2020 | By the+gnu+linux+evangelist.

Switching GCC

  1. 3. Switching System GCC

    Finally, to easy Managing GCC Versions use update-alternatives
    So first install the New GCC with:

    sudo update-alternatives --install /usr/bin/gcc gcc /usr/local/bin/gcc 10

    And then the System GCC with for instance:

    sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-9 20

    Possibly amend the above Command with the right Paths.
    Next to Switch between GCC Versions play:

    sudo update-alternatives --config gcc

    Last, to test the GCC in use:

    gcc -v

Contents


Pages: 1 2 3