diff --git a/.gitignore b/.gitignore index 76d3b8dadb..72f9013761 100644 --- a/.gitignore +++ b/.gitignore @@ -7,3 +7,4 @@ resources public tmp static/pagefind +.idea/ diff --git a/content/manuals/desktop/uninstall.md b/content/manuals/desktop/uninstall.md index 0cc7bf70ca..a33e0212e8 100644 --- a/content/manuals/desktop/uninstall.md +++ b/content/manuals/desktop/uninstall.md @@ -80,6 +80,13 @@ $ rm -rf ~/Library/Group\ Containers/group.com.docker $ rm -rf ~/.docker ``` +With Docker Desktop version 4.36 and earlier, the following files can also be left on the file system. You can remove these with administrative privileges: + +```console +/Library/PrivilegedHelperTools/com.docker.vmnetd +/Library/PrivilegedHelperTools/com.docker.socket +``` + You can also move the Docker application to the trash. {{< /tab >}}