diff options
Diffstat (limited to 'debian')
-rw-r--r-- | debian/Dockerfile | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/debian/Dockerfile b/debian/Dockerfile index 5c4c46f..90b2e65 100644 --- a/debian/Dockerfile +++ b/debian/Dockerfile | |||
@@ -36,8 +36,17 @@ RUN nix-channel --add https://nixos.org/channels/nixpkgs-19.09-darwin nixpkgs \ | |||
36 | # Propagate UTF8 | 36 | # Propagate UTF8 |
37 | # https://github.com/NixOS/nix/issues/599#issuecomment-153885553 | 37 | # https://github.com/NixOS/nix/issues/599#issuecomment-153885553 |
38 | # The same is hapenning with stack2nix | 38 | # The same is hapenning with stack2nix |
39 | RUN nix-env -iA nixpkgs.glibcLocales \ | 39 | RUN nix-env -iA nixpkgs.glibcLocales |
40 | && echo "export LOCALE_ARCHIVE=$(nix-env --installed --no-name --out-path --query glibc-locales)/lib/locale/locale-archive" >> ${HOME}/.profile | 40 | |
41 | # < Nix context as a volume | ||
42 | # We want to be able to define /nix/store as a volume | ||
43 | # We thus need to "save" the current nix context to be able | ||
44 | # to restore it at startup time | ||
45 | RUN cp -R /nix /home/nixuser/initial-nix | ||
46 | VOLUME ["/nix"] | ||
47 | # Create bash profile | ||
48 | COPY --chown=nixuser:nixuser files/.profile ${HOME}/.profile | ||
49 | # /> | ||
41 | 50 | ||
42 | # Make sure to use "login" shell when running container | 51 | # Make sure to use "login" shell when running container |
43 | ENTRYPOINT ["/usr/bin/env", "bash", "-l", "-c"] | 52 | ENTRYPOINT ["/usr/bin/env", "bash", "-l", "-c"] |