dev.env.example

# Which board the dev scripts talk to.
#
# You do not need to create this by hand: the first `make dev` (or any other
# dev target) asks for the address and offers to write scripts/dev.env for you.
# Copy this file only if you would rather fill it in yourself.
#
#   cp scripts/dev.env.example scripts/dev.env
#
# scripts/dev.env is GITIGNORED and must stay that way. A board's address
# belongs to the bench it sits on: a value baked into a tracked file is useless
# to every other clone, and publishes the author's network layout to whatever
# remote the repo is pushed to.
#
# NEVER put a credential in here — no passwords, no tokens, no private keys.
# TRACER_KEY is a PATH to a key, not a key. The board's sudo password is typed
# into sudo's own prompt on the board and is never stored by these scripts.
#
# Every value can also be set as an environment variable, which wins over the
# file:
#
#   TRACER_DEVICE=user@host make dev

# SSH destination of the board. A hostname is better than an IP if mDNS works.
TRACER_DEVICE=user@host.local

# Private key to authenticate with. The dev scripts pass -o IdentitiesOnly=yes
# because a workstation with several keys in ssh-agent offers all of them and
# trips the board's MaxAuthTries before the right one is reached.
TRACER_KEY=~/.ssh/id_ed25519

# Port tracerd serves on. Rarely needs changing.
TRACER_PORT=8710