stop

Stop running CedarDB background processes.

Arguments (optional, from the user's invocation):

• (none) — stop dashboard, ask about Docker
• docker — stop dashboard and Docker container
• all — stop dashboard, remove Docker container, and delete cedardb-data/

1. Stop the dashboard

Check if .cedardb_work/dashboard/dashboard.pid exists. If so:

kill $(cat .cedardb_work/dashboard/dashboard.pid) 2>/dev/null && rm .cedardb_work/dashboard/dashboard.pid && echo "Dashboard stopped"

2. Handle Docker

• If argument is all: stop and remove the container, then delete data:

  docker rm -f cedardb
  rm -rf cedardb-data
  

• If argument is docker: stop the container:

  docker stop cedardb
  

• If no argument: ask the user whether to also stop the Docker container.

Return to the user

List exactly what was stopped (dashboard, Docker container, data).