docsget pocketty

Guides

Add a Host

The fields of a host, the ways to sign in, and how to edit or delete a host.

Tap + on the host list to open New host. A host needs an Address and a User. The Name is only for you, and the Port is 22 unless you change it.

Sign In

Choose how pocketty signs in, under Sign in with:

Plain Shells

The Startup command runs in your login shell when you open a shell on this host, for example tmux new -A -s main. See Shells, tmux and zellij.

Edit or Delete a Host

On the host list, swipe left on a host. Tap Edit to change it, or Delete to remove it from the phone. Deleting a host does not touch the computer. To remove your key there too, see Remove a Phone.

Host Keys

pocketty saves a host’s SSH key the first time it connects, unless code setup gave it the key already. After that, a different key stops the connection, and pocketty does not retry. See When a Host Key Changes.

    Type to search keys, notifications, the CLI, and more.