Skip to main content

​
Environment Variables

VariableDefaultDescription
PETRI_WORKSPACE_ROOT~/.petri/workspacesRoot folder for all sandbox workspaces.

​
Setting the Workspace Root

By default Petri stores workspaces at ~/.petri/workspaces. Override this in production: 
export PETRI_WORKSPACE_ROOT=/data/petri/workspaces
When running Petri as a Docker container, PETRI_WORKSPACE_ROOT must be a host-mounted volume. Files stored inside the container will be lost on restart.

​
Running as a Docker Container

docker run \
  -p 8000:8000 \
  -v /data/petri/workspaces:/data/petri/workspaces \
  -e PETRI_WORKSPACE_ROOT=/data/petri/workspaces \
  jhansiio/petri

​
Running with Docker Compose

Coming in a future release. Follow progress at jhansiio.featurebase.app.