juli, 8 months 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. …