Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- ### Open a new terminal with ctrl + t (volume down + t)
- # shortcut.create-session = ctrl + t
- ### Go one session down with (for example) ctrl + 2
- # shortcut.next-session = ctrl + 2
- ### Go one session up with (for example) ctrl + 1
- # shortcut.previous-session = ctrl + 1
- ### Rename a session with (for example) ctrl + n
- # shortcut.rename-session = ctrl + n
- ###############
- # Bell key
- ###############
- ### Vibrate device (default).
- # bell-character = vibrate
- ### Beep with a sound.
- # bell-character = beep
- ### Ignore bell character.
- # bell-character = ignore
- ###############
- # Back key
- ###############
- ### Send the Escape key.
- # back-key=escape
- ### Hide keyboard or leave app (default).
- # back-key=back
- ###############
- # Keyboard issue workarounds
- ###############
- ### Letters might not appear until enter is pressed on Samsung devices
- # enforce-char-based-input = true
- ### ctrl+space (for marking text in emacs) does not work on some devices
- # ctrl-space-workaround = true
- terminal-cursor-blink-rate=500
- extra-keys = [ \
- ['ESC','/','-','HOME','UP','END','PGUP','BKSP'], \
- ['TAB','CTRL','ALT','LEFT','DOWN','RIGHT','PGDN','ENTER'] \
- ]
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement