Open fgrehm opened 9 years ago
Shouldn't your title be different?
Let me think about this one.
Renamed the issue, hopefully its clear now!
This would only happen when your user is created?
My idea was to check if there is a /envy/users/$USER/home/$ENVIRON/Dockerfile
in place and use that to create the base image as a fallback to a missing USER/ENVIRON
repo on github. That Dockerfile
would be manually created or come from the user's envy.home
repo on github (cloned when the user is created / manually git pull
ed as needed)
Does that make sense?
Ah, interesting. Cool.
On Mon, Jul 6, 2015 at 12:38 PM, Fabio Rehm notifications@github.com wrote:
My idea was to check if there is a /envy/users/$USER/home/$ENVIRON/Dockerfile in place and use that to create the base image as a fallback to a missing USER/ENVIRON repo on github. That Dockerfile would be manually created or come from the user's envy.home repo on github (cloned when the user is created / manually git pulled as needed)
Does that make sense?
— Reply to this email directly or view it on GitHub https://github.com/progrium/envy/issues/26#issuecomment-118935149.
Jeff Lindsay http://progrium.com
Similar in spirit to GH-15, the idea would be to look for named environments under user's envy homedir repo (from GH-14) so we can have things like a simple Ruby / Go / PHP / ... environment for "random hackings" without the need to have a personal GitHub project for each one of them.
Thoughts?