Setting for workspace directory in the UI

[rbren]

What problem or use case are you trying to solve? We removed the ability to choose your directory from the UI due to bugs

Describe the UX of the solution you'd like In the settings modal, a dropdown of all directories inside the WORKSPACE_BASE folder. Also an option to add a new directory.

Do you have thoughts on the technical implementation?

• A REST API that returns a list of all directories available in the WORKSPACE_BASE folder
  • probably shouldn't be recursive, or shouldn't recurse past anything that has a .git subdirectory, otherwise it will be too crowded
• We will need to pass up the directory through initialize, and plumb it into a few places:
  • the sandbox
  • the file operations in ./opendevin/actions/...
  • probably somewhere else I'm forgetting

[iFurySt]

i think this and #1146 can be processed together. the setting modal deserves to be improved.

[github-actions[bot]]

This issue is stale because it has been open for 30 days with no activity. Remove stale label or comment or this will be closed in 7 days.

[enyst]

Github bot doesn't see a PR was added just 5 days ago. For the bot: there we go, this is a comment. 😅

[github-actions[bot]]

This issue is stale because it has been open for 30 days with no activity. Remove stale label or comment or this will be closed in 7 days.

[mamoodi]

If anyone happens to pick this up, the requirements are:

• The Settings page allows you to choose the workspace
• The folders being shown are the WORKSPACE_BASE set initially by the user and the folders available in the WORKSPACE_BASE folder. This list is static and does not change.

[github-actions[bot]]

This issue is stale because it has been open for 30 days with no activity. Remove stale label or comment or this will be closed in 7 days.

[github-actions[bot]]

This issue was closed because it has been stalled for over 30 days with no activity.