i installed debian10.4 with gnome3 desktop environment,and i don't want to use gnome-terminal , i want to change the default terminal to deepin-terminal and i can open deepin-terminal in nautilus, i try https://askubuntu.com/questions/111592/how-do-i-set-the-default-gnome-terminal and https://nowhere.dk/articles/change-default-terminal-emulator-in-gnome-3 but it doesn't work