From 02d011602e3cb7fba7dd6c19487f3b4ef8ef6a32 Mon Sep 17 00:00:00 2001 From: Fang Yi Liu Date: Thu, 3 Oct 2024 10:12:30 -0700 Subject: [PATCH] move docker section into tools/docker.md --- docs/tools/docker.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/tools/docker.md b/docs/tools/docker.md index a96c6949..a4a396fa 100644 --- a/docs/tools/docker.md +++ b/docs/tools/docker.md @@ -1,8 +1,8 @@ # Docker -## 3. Managing Docker +## Managing Docker -### 3.1 Stopping Docker +### Stopping Docker To stop the service-container, but not destroy it (often sufficient for day-to-day work): @@ -22,7 +22,7 @@ Add the `-v` flag to destroy the data volumes as well: docker-compose down -v ``` -### 3.2 Recycling / Refreshing Database +### Recycling / Refreshing Database To restore a database to its original state and remove any data manually added, delete the container and image. From Docker: