Redefined terminal shortcut.