o ;i@sddlZddlZddlmZmZmZddlmZddlm Z ej ddddZ e j d d ej dd d fd efd dZdZe j ed defddZe j dddedefddZdS)N)_profile_store_user_configconfig) Environment) OutputManagerrz Manage client configuration for the current profile. Refer to https://modal.com/docs/reference/modal.config for a full explanation of what these options mean, and how to set them. T)namehelpno_args_is_helpz6Show current configuration values (debugging command).)rz Redact the `token_secret` value.redactcCs6t}|r|drd|d<tt|dS)N token_secretz***)rto_dictgetr print_jsonjsondumps)r config_dictrD/home/ubuntu/.local/lib/python3.10/site-packages/modal/cli/config.pyshowsraOSet the default Modal environment for the active profile The default environment of a profile is used when no --env flag is passed to `modal run`, `modal deploy` etc. If no default environment is set, and there exists multiple environments in a workspace, an error will be raised when running a command that requires an environment. environment_namecCs4t|td|itdtd|dS)N environmentz$New default environment for profile z: )r from_namehydratertyperechor)rrrrset_environment)s r)hiddenkeyvaluecCst||idS)N)r)rrrrrset1sr)rr modal.configrrrmodal.environmentsr modal.outputrTyper config_clicommandOptionboolrSET_DEFAULT_ENV_HELPstrrrrrrrs"