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.

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

Persistent docker session #1998

Merged
merged 31 commits into from
May 29, 2024
Merged

Persistent docker session #1998

merged 31 commits into from
May 29, 2024

Conversation

SmartManoj
Copy link
Contributor

@SmartManoj SmartManoj commented May 23, 2024

Solves #1811

Set PERSIST_SESSION=1 and SSH_PASSWORD

Co-authored-by: Robert Brennan <accounts@rbren.io>
opendevin/core/config.py Outdated Show resolved Hide resolved
@rbren
Copy link
Collaborator

rbren commented May 23, 2024

This is really neat!

I wonder if there's a reasonable way to make this the default behavior. We'd have to pick a port and hard-code a secret...

@SmartManoj
Copy link
Contributor Author

SmartManoj commented May 23, 2024

#847 (review)

If one has access, they still can access it via the front end.


Port: 63710

d: 6 (similar to the shape of 'd')
e: 3 (common leetspeak substitution)
v: 7 (similar to the shape of 'v')
i: 1 (common leetspeak substitution)
n: 0 (commonly used for 'n' in leetspeak)

@SmartManoj SmartManoj enabled auto-merge (squash) May 24, 2024 13:45
@SmartManoj SmartManoj disabled auto-merge May 25, 2024 02:09
SmartManoj and others added 3 commits May 27, 2024 20:50
opendevin/core/config.py Outdated Show resolved Hide resolved
README.md Show resolved Hide resolved
Copy link
Collaborator

@rbren rbren left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @SmartManoj!

@SmartManoj SmartManoj enabled auto-merge (squash) May 29, 2024 13:09
@SmartManoj SmartManoj merged commit d4ccd48 into All-Hands-AI:main May 29, 2024
2 checks passed
li-boxuan added a commit to li-boxuan/OpenDevin that referenced this pull request Jun 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants