From 6635e8f3fdfdaf199e6f97632243f0beccdab8cb Mon Sep 17 00:00:00 2001
From: FredWuCZ <fredwucz@outlook.com>
Date: Tue, 22 Oct 2024 20:47:39 +0800
Subject: [PATCH] Minor update on docs

---
 desktop_env/providers/docker/DOCKER_GUIDELINE.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/desktop_env/providers/docker/DOCKER_GUIDELINE.md b/desktop_env/providers/docker/DOCKER_GUIDELINE.md
index 4e2b5d1..eb0cbde 100644
--- a/desktop_env/providers/docker/DOCKER_GUIDELINE.md
+++ b/desktop_env/providers/docker/DOCKER_GUIDELINE.md
@@ -25,3 +25,5 @@ If your hosting platform supports graphical user interface (GUI), you may refer
 Add the following arguments when initializing `DesktopEnv`: 
 - `provider`: `docker`
 - `os_type`: `Ubuntu` or `Windows`, depending on the OS of the VM
+
+Please allow for some time to download the virtual machine snapshot on your first run.