• juli
    link
    fedilink
    arrow-up
    6
    arrow-down
    1
    ·
    11 months ago

    Nice. But I want to change the default terminal in gnome but gnome-files doesn’t respect my choice. …