Sample Header Ad - 728x90

Arch, Gnome - how to change the default terminal?

1 vote
1 answer
15042 views
I want to change my default terminal emulator, that is, the terminal that opens when I Right Click -> Open in terminal So far, I've tried: - sudo update-alternatives --config x-terminal-emulator - sudo update-alternatives --config $TERM ($TERM is equal to xterm-256color) - changing the TERM variable in ~/.bashrc - chaning the default terminal in GNOME settings - however, there was no option to choose a default terminal emulator, only for the default browser, media player, etc
Asked by aurelia (139 rep)
Jun 24, 2022, 10:30 PM
Last activity: May 18, 2025, 10:02 AM