From 536c92b0ce256be70e094b1b11861fc5bfd7dbbf Mon Sep 17 00:00:00 2001
From: Tianbao Xie <47296835+Timothyxxx@users.noreply.github.com>
Date: Tue, 18 Jun 2024 13:52:59 +0800
Subject: [PATCH] Change the default option of the environment provider

---
 desktop_env/desktop_env.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/desktop_env/desktop_env.py b/desktop_env/desktop_env.py
index dc102c8..108d24f 100644
--- a/desktop_env/desktop_env.py
+++ b/desktop_env/desktop_env.py
@@ -26,7 +26,7 @@ class DesktopEnv(gym.Env):
 
     def __init__(
             self,
-            provider_name: str = "virtualbox",
+            provider_name: str = "vmware",
             region: str = None,
             path_to_vm: str = None,
             snapshot_name: str = "init_state",