Он не запрограммирован жестко (хотя некоторые программы, которые вы запускаете внутри терминала , могут быть ).
При проверке Ubuntu 13.04 его версия gnome-terminal - 3.61, которая поддерживает диалог для изменения сочетаний клавиш :
Если вас беспокоит, что ваша машина не всегда подключена к сети, вы можете просто использовать noauto в записи fstab.
<URL> <mountpoint> davfs2 credentials=<full path to your cred file>,uid=<your user's UID>,gid=<your group's GID>,noauto 0 0
Это позволит вам смонтировать его с помощью простой команды.
sudo mount <mountpoint>
Таким же образом можно размонтировать.
sudo umount <mountpoint>
Он будет монтироваться только тогда, когда вы этого хотите, и никогда автоматически при загрузке.