Skip to content

Reference ​

Shortcuts, built-in commands, settings and limits in DhivaLabs Shell 0.1.5.

App shortcuts ​

KeysWhat they do
Ctrl + Shift + TNew terminal, as the selected identity
Ctrl + Shift + WClose the active terminal
Ctrl + Shift + FSearch terminal output
Ctrl + Shift + MFocus mode on or off
Ctrl + Shift + CCopy selected text
Ctrl + V or Ctrl + Shift + VPaste once. Pasting never adds Enter

Bash shortcuts ​

KeysWhat they do
TabComplete a command or file name (case does not matter)
Up / DownEarlier commands that start with what you typed
Ctrl + RSearch history
Ctrl + CInterrupt the running command
Ctrl + DEnd input, or exit
Ctrl + LClear the screen
Ctrl + A / EStart / end of line
Ctrl + U / KDelete before / after the cursor
Ctrl + WDelete the previous word
Ctrl + YPaste back deleted text
Alt + B / F, or Ctrl + Left / RightMove by word
Ctrl + ZSuspend a supported job; jobs, fg and bg list and resume

Built-in commands ​

CommandWhat it does
shortcutsPrints the keyboard shortcuts and a short guide
identityPrints the identity, author and SSH alias, and checks the current repository. In Local terminal it says there is no managed identity
sudoWith no arguments, opens a separate administrator Bash after Windows consent. With arguments, prints help
llLists files with sizes, dates and hidden files (ls -lah)

Identity fields ​

FieldRequiredWhat it is
Identity nameYesName shown in the sidebar, tabs and prompt
Git providerYesGitHub, Bitbucket, GitLab, Azure DevOps or Other / self-hosted
SSH server hostnameFor Other / self-hostedServer name only, such as git.example.com
Commit name (optional)Before committingAuthor name on commits
Commit email (optional)Before committingAuthor email on commits
Working folderYesWhere terminals and clones start. Must be a full path
SSH private key (optional)For private repositoriesThe private key file. Create SSH key makes a new Ed25519 key without a passphrase
SSH alias (automatic)Yes, filled in for youShort host name that selects this identity's key. Unique per identity
AccentNoColour of the identity's dot

Appearance options ​

SettingValuesDefault
App themeDark, Light, Follow WindowsDark
Terminal colorsMidnight, Ocean, Forest, LightMidnight
FontCascadia Mono, Consolas, Courier NewCascadia Mono
Font size (10–24)10 to 2414
CursorBlock, Bar, UnderlineBlock
Scrollback (500–5,000)500 to 5,000 lines2,000
Compact layoutOn, offOn

Limits ​

LimitValue
Open tabs8
Panes in split view2
Scrollback per tab500 to 5,000 lines, default 2,000
Bash history1,000 commands per session, 2,000 in the history file
Clone in Local terminalPublic GitHub repositories over HTTPS
SSH addressesgit@host:path and ssh://git@host/path. No custom user names or ports in the dialogs

What is stored on your PC ​

Everything below stays on your device. The app has no account, cloud sync, telemetry, background service or start-up entry.

DataWhere
IdentitiesThe app's local data folder
Keys created with Create SSH keyThe app's local data folder. The SSH key dialog shows the exact path
Keys you importedWherever they already were. The app does not copy them
Each identity's history and SSH settingsIts own home folder inside the app's local data
Appearance settings and the first-run tipSaved by the app on this PC
Repository linksIn each repository's own Git settings, with a backup beside them

Removing an identity or uninstalling the app does not delete keys, history or repositories.

What is included ​

Bash, Git, OpenSSH and common Unix commands come with the app. You do not need Git for Windows, WSL or Node.js. It is a Windows Bash environment, not Linux: Linux programs, apt and systemd are not available.

Next steps ​