Is there an existing issue for this?

• I have searched the existing issues

Problem statement

The defaults for WorkspaceConfig are duplicated in WorkspaceInstaller._prompt_for_new_installation use the defaults in WorkspaceConfig instead

Proposed Solution

default_config = WorkspaceConfig(default_database)
...
prompts(<question>, default=default_config.<attribute>)  # Instead of hardcoding the default

Additional Context

No response