Make a workspace ready for user
()
| 28 | |
| 29 | |
| 30 | def get_workspace(): |
| 31 | """Make a workspace ready for user""" |
| 32 | |
| 33 | if WORKSPACE["path"]: |
| 34 | workspace = verify_workspace_name(WORKSPACE["path"]) |
| 35 | |
| 36 | else: |
| 37 | home_dir = get_home_path() |
| 38 | workspace = "{}/{}".format(home_dir, WORKSPACE["name"]) |
| 39 | |
| 40 | message = 'Workspace in use: "{}"'.format(workspace) |
| 41 | highlight_print( |
| 42 | Settings.profile["name"], message, "workspace", "info", Settings.logger |
| 43 | ) |
| 44 | update_workspace(workspace) |
| 45 | update_locations() |
| 46 | return WORKSPACE |
| 47 | |
| 48 | |
| 49 | def set_workspace(path=None): |
no test coverage detected