• @the_crab_man
    link
    2
    edit-2
    1 year ago

    Hopefully the new customizability options in GNOME Console will convince more distributions to ship it by default instead of GNOME Terminal.