Skip to content

Troubleshooting and FAQ ​

Common problems and questions, with their causes and fixes.

Terminals ​

The terminal does not open, or the app says Bash is missing ​

Restart the app. Local terminal needs no account, identity or key, so try it first. If the app reports that the bundled Bash is missing, reinstall DhivaLabs Shell from the Microsoft Store.

Close a tab first. Eight tabs is the memory limit. ​

Eight terminals is the maximum. Close a tab you no longer need.

A command works on Linux but not here ​

DhivaLabs Shell runs Bash and common Unix tools on Windows. It is not a Linux system or WSL, so Linux programs, apt, systemd and Linux kernel features are not available. Use WSL or a Linux machine for those.

sudo does not run my command ​

sudo with a command after it only prints help. Type sudo alone to open a separate administrator window, then run the command there.

Pasting runs nothing ​

That is on purpose: pasting never presses Enter, so you can read a command before running it. Press Enter yourself.

SSH and GitHub ​

GitHub says Permission denied (publickey) ​

The provider does not know the identity's key. Open SSH key, select Copy public key and add it to the right account (on GitHub: Settings, SSH and GPG keys, New SSH key). Then select Test connection in terminal. Never paste the private key anywhere.

The connection test greets the wrong account ​

The public key was added to a different account than you meant. Remove it from that account and add it to the right one. Each account needs its own key.

Add an SSH key to this profile before cloning. ​

Identities clone over SSH. Connect a key in Identity settings first, or clone a public project from Local terminal over HTTPS.

Paste the SSH clone URL, not the website or HTTPS URL. ​

For providers other than GitHub, copy the SSH address from the provider's clone button, starting with git@ or ssh://git@.

This URL uses ... Choose an identity connected to that server. ​

The address points at a different server than the selected identity uses. Select the identity for that server, or create one.

SSH asks me to confirm a fingerprint ​

That happens on the first connection to any server other than GitHub. Compare the fingerprint with the one your provider or administrator publishes. Type yes only if it matches.

Identities and the guard ​

Identity mismatch when committing or pushing ​

The repository is not linked to this identity, or its author differs. Select the identity, open Clone repo, then Use an existing repository, choose the folder, and use Inspect and Review identity settings. See Link an existing repository.

Push blocked ​

The push address does not use this identity's server or SSH alias. Link the repository with Review identity settings, which can also set the origin address, or push from the identity that owns the repository.

Add your commit name and email in Identity settings before making commits. ​

The identity has no commit details yet. Add them under Commit details (optional) in Identity settings, then review the repository's identity settings so it picks up the new details.

Close this profile's terminals before editing its identity. ​

Close every tab of that identity, then edit it. The same applies to removing an identity or changing its key.

I removed an identity. Where are its files? ​

Still on your disk. Removing an identity keeps its repositories, SSH keys and history on purpose. See Uninstall to delete them.

Is an identity a security boundary? ​

No. It prevents accidental mix-ups. It does not protect against malicious software, and a user or script can go around the guard on purpose.

Privacy ​

Does the app send my data anywhere? ​

No. There is no telemetry, account or cloud sync. Identities, keys, history and settings stay on your PC. Commands you run, such as git push, talk to the server you chose.

Does it change my existing Git or SSH setup? ​

No. Your global Git and SSH configuration is not changed. A repository's settings change only when you select Apply repository settings or clone with an identity, and a backup is made first.

Getting help ​

Report bugs and request features on GitHub issues. Include the version from the sidebar, your Windows version and the exact error with any secrets removed. Never attach private keys, tokens or confidential terminal output.

Next steps ​