From eb17b1731ea76e6bb2628edbc93af31dc54a7829 Mon Sep 17 00:00:00 2001 From: Robert Raposa Date: Thu, 16 Nov 2023 14:50:57 -0500 Subject: [PATCH] docs: switch prune to make command Switch doc to `make dev.prune`, which is simpler to remember should the issue recur, rather than always having to read these docs. --- docs/troubleshoot_general_tips.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/troubleshoot_general_tips.rst b/docs/troubleshoot_general_tips.rst index 0a0b3761e2..bab01b611a 100644 --- a/docs/troubleshoot_general_tips.rst +++ b/docs/troubleshoot_general_tips.rst @@ -64,7 +64,7 @@ Try this first to clean up dangling images: .. code:: sh - docker system prune -f # (This is very safe, so try this first.) + make dev.prune # (This is very safe, so try this first.) If you are still seeing issues, you can try cleaning up dangling volumes.