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

Rework docker usage. #684

Closed
MohamedKarrab opened this issue Aug 31, 2024 · 2 comments
Closed

Rework docker usage. #684

MohamedKarrab opened this issue Aug 31, 2024 · 2 comments
Labels
docker enhancement

Comments

@MohamedKarrab
Copy link

why can't I just docker pull then use this? Why does it have to be complicated?
@Relkci
Copy link
Collaborator

Relkci commented Oct 22, 2024 •
edited
Loading

Have you tried cloning from the GitHub repo and running setup.sh?

There is a somewhat old docker configuration. You can try that, but I'm not sure who all uses it still. You're welcome to commit an update to get it working the way you like.

@Relkci
Copy link
Collaborator

Relkci commented Oct 30, 2024

Closing for now. If you have more details about how you would like the docker experience to go, please re-open.

@Relkci Relkci closed this as completed Oct 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
docker enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Relkci @MohamedKarrab