Adding the parts needed to run x48 in a Docker container, for portability. #5
dockerize_x48_v1 into master I know little about docker but I wonder if it's normal that your username (danwitt) appears in various places. Couldn't it be replaced by $HOME ?
danwitt is the dockerhub repository that the built image resides in:
https://hub.docker.com/r/danwitt/x48
It's definitely cool with me if we host the built image in another
repository. I just didn't have a better place to put it. :)
Thanks,
Dan
On Tue, Feb 11, 2020, 10:07 AM gwenhael notifications@github.com wrote:
@gwenhael-le-moine commented on this pull request.
I know little about docker but I wonder if it's normal that your username
(danwitt) appears in various places. Couldn't it be replaced by $HOME ?—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub
https://github.com/gwenhael-le-moine/x48/pull/5?email_source=notifications&email_token=AIOSI5VVL2KTL5TU63Z6YQTRCLLNPA5CNFSM4KSUNSH2YY3PNVWWK3TUL52HS4DFWFIHK3DMKJSXC5LFON2FEZLWNFSXPKTDN5WW2ZLOORPWSZGOCVCOCZI#pullrequestreview-356835685,
or unsubscribe
https://github.com/notifications/unsubscribe-auth/AIOSI5VVYTTC2J2J4OWJGQLRCLLNPANCNFSM4KSUNSHQ
.
Oh, ok. As I said I know little about docker... Looks fine to me then, I'll merge. Thanks.
No due date set.
No dependencies set.
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?