separate debug and dev log (skypilot-org#1003)

Author: Michaelvll

sky/sky_logging.py

@@ -34,7 +34,7 @@ def init_logger(name: str):
 
     logger = logging.getLogger(name)
     logger.addHandler(h)
-    if env_options.Options.IS_DEVELOPER.get():
+    if env_options.Options.SHOW_DEBUG_INFO.get():
         logger.setLevel(logging.DEBUG)
     else:
         logger.setLevel(logging.INFO)

sky/utils/env_options.py

@@ -5,6 +5,7 @@
 
 class Options(enum.Enum):
     IS_DEVELOPER = 'SKY_DEV'
+    SHOW_DEBUG_INFO = 'SKY_DEBUG'
     DISABLE_LOGGING = 'SKY_DISABLE_USAGE_COLLECTION'
     MINIMIZE_LOGGING = 'SKY_MINIMIZE_LOGGING'