3 ms·
This might help: http://askubuntu.com/questions/70540/how-can-i-set-default-terminal-used http://askubuntu.com/questions/70540/how-can-i-set-default-t...
by autotravis 14y ago
This might help: http://askubuntu.com/questions/70540/how-can-i-set-default-terminal-used http://askubuntu.com/questions/70540/how-can-i-set-default-t...