# Sourced by every dev-*.sh: the port, the zone and the state directory the # development stack runs on, unless the environment already says otherwise. # # Not executable, and not a command anyone runs. This is the one place these # defaults are written down, so the scripts agree with each other and a # second stack on one machine is a second set of these in the environment: # # DIDBOT_PDS_PORT=3100 DIDBOT_ZONE=beta.localhost ./scripts/dev-pds.sh # # A variable already set wins, and set includes set to nothing. That is why # the state directory is spelled `${NAME-value}` rather than `${NAME:-value}`: # `DIDBOT_PDS_DATA= ./scripts/dev-pds.sh` is how a run asks for a store in # memory, and the `:-` form would hand the default straight back. export DIDBOT_PDS_PORT="${DIDBOT_PDS_PORT:-3000}" export DIDBOT_ZONE="${DIDBOT_ZONE:-agents.localhost}" export DIDBOT_PDS_DATA="${DIDBOT_PDS_DATA-${XDG_STATE_HOME:-$HOME/.local/state}/didbot/pds}"