Add a developer

Give a teammate access to a dev box. Everyone logs in as the shared dev user, so onboarding is just adding their public key.

Prerequisites (developer side)

  • Their own SSH private key locally (the counterpart to the pubkey you'll add).
  • VS Code with the Remote-SSH extension.

  1. Add the developer's public key (you have their .pub file):

    gon server:dev:keys add dev-vps1 --key=~/devs/michal.pub --label=michal

    --key also accepts a full ssh-ed25519 AAAA… string. Verify:

    gon server:dev:keys list dev-vps1

  2. Give them an SSH config block (each dev runs this once and pastes the output into ~/.ssh/config):

    gon server:dev:ssh-config dev-vps1

    If their private key isn't at the default path, they add IdentityFile ~/.ssh/<key> to the block.

  3. Connect from VS Code:

    code --remote ssh-remote+dev-vps1-dev /home/dev/projects/demo

    From the Remote-SSH terminal the usual commands work on the box: gon shell, gon artisan, gon logs -f, git push.

The dev user is shared — one working tree and one DB per project, under /home/dev/projects. Set git config user.name/user.email per checkout (not --global), and coordinate branches; for parallel work spin up a second project on another subdomain.

Removing access

gon server:dev:keys remove dev-vps1 --label=michal