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