diff options
author | Domen Kožar <domen@dev.si> | 2017-03-11 19:41:18 +0100 |
---|---|---|
committer | Domen Kožar <domen@dev.si> | 2017-03-11 19:41:18 +0100 |
commit | bd4285a4cb36c364487c506a23db0f5fd06819bb (patch) | |
tree | 646b35197a0c55d41dac86bdd02f48212ed6198d /maintainers | |
parent | 286917bfc983599d75d248a255e66234a4e8ddb9 (diff) |
Remove Dockerfile
One can generate a new layer with nix-channel --update
from https://hub.docker.com/r/nixos/nix/
This file wasn't maintained.
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/docker/.dockerignore | 14 | ||||
-rw-r--r-- | maintainers/docker/Dockerfile | 12 |
2 files changed, 0 insertions, 26 deletions
diff --git a/maintainers/docker/.dockerignore b/maintainers/docker/.dockerignore deleted file mode 100644 index eb4668233e6a..000000000000 --- a/maintainers/docker/.dockerignore +++ /dev/null @@ -1,14 +0,0 @@ -*~ -,* -.*.swp -.*.swo -result -result-* -/doc/NEWS.html -/doc/NEWS.txt -/doc/manual.html -/doc/manual.pdf -.version-suffix - -.DS_Store -.git diff --git a/maintainers/docker/Dockerfile b/maintainers/docker/Dockerfile deleted file mode 100644 index f02a9d653fd5..000000000000 --- a/maintainers/docker/Dockerfile +++ /dev/null @@ -1,12 +0,0 @@ -FROM busybox - -RUN dir=`mktemp -d` && trap 'rm -rf "$dir"' EXIT && \ - wget -O- https://nixos.org/releases/nix/nix-1.7/nix-1.7-x86_64-linux.tar.bz2 | bzcat | tar x -C $dir && \ - mkdir -m 0755 /nix && USER=root sh $dir/*/install && \ - echo ". /root/.nix-profile/etc/profile.d/nix.sh" >> /etc/profile - -ADD . /root/nix/nixpkgs -ONBUILD ENV NIX_PATH nixpkgs=/root/nix/nixpkgs:nixos=/root/nix/nixpkgs/nixos -ONBUILD ENV PATH /root/.nix-profile/bin:/root/.nix-profile/sbin:/bin:/sbin:/usr/bin:/usr/sbin -ONBUILD ENV ENV /etc/profile -ENV ENV /etc/profile |