-
Notifications
You must be signed in to change notification settings - Fork 16
Add dev environment and update docs #79
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
Conversation
| command: pharus | ||
| fakeservices.datajoint.io: | ||
| <<: *net | ||
| image: raphaelguzman/nginx:v0.0.15 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Should this be hosted on a datajoint dockerhub verse our own dev username?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@Synicix Good catch. Unfortunately, this one is tricky to solve properly... It is a repo I created a long while back that I wasn't sure if we would need it but now it has grown to be dependent on various projects. I'd like to move it now but it would have breaking changes for other projects. Let's use it for now and I can mirror it to a datajoint or vathes public repo soon to give some time for us to migrate things over.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I will file an issue for it then. Just as a concern
This PR serves to:
devdocker environment that supports hot/live reloading.basedocker environment to simplify dependencies.Fix #74