Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Setting for workspace directory in the UI #1145

Open
rbren opened this issue Apr 15, 2024 · 3 comments · May be fixed by #1448
Open

Setting for workspace directory in the UI #1145

rbren opened this issue Apr 15, 2024 · 3 comments · May be fixed by #1448
Labels
enhancement New feature or request severity:medium Problems that affect many users

Comments

@rbren
Copy link
Collaborator

rbren commented Apr 15, 2024

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
@rbren rbren added enhancement New feature or request severity:medium Problems that affect many users labels Apr 15, 2024
@iFurySt
Copy link
Collaborator

iFurySt commented Apr 16, 2024

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

@johnnyaug johnnyaug linked a pull request May 12, 2024 that will close this issue
Open
@github-actions GitHub Actions
Copy link

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 github-actions bot added the Stale label May 17, 2024
@enyst
Copy link
Collaborator

enyst commented May 17, 2024

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

@enyst enyst removed the Stale label May 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request severity:medium Problems that affect many users
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add workspace setting in UI johnnyaug/OpenDevin
3 participants
@enyst @rbren @iFurySt