diff options
| author | Rob Austein <sra@hactrn.net> | 2019-02-10 23:03:30 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2019-02-10 23:03:30 +0000 |
| commit | 7f1c8362584eba26c1a75bfbd9da5fd5a749be31 (patch) | |
| tree | 1908ae67ea4e767e9bd02d48ce9dc4f894423118 /Dockerfile | |
| parent | 8bf92fa91b9ffec90ce4968f1898d0864c7c5b12 (diff) | |
Update notes.
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -2,6 +2,9 @@ FROM debian:jessie RUN echo 'deb http://deb.debian.org/debian jessie-backports main' > /etc/apt/sources.list.d/backports.list +# An assortment of normal Debian packages. Might want to move this to +# after the horrible XiLinx stuff so we don't have to redo that very often. + RUN apt-get update \ && \ apt-get install -y \ @@ -16,7 +19,7 @@ RUN apt-get update \ reprepro \ ubuntu-archive-keyring \ ubuntu-dev-tools \ - pbuilder \ + pbuilder \ && \ apt-get -t jessie-backports install -y \ - debootstrap distro-info-data + debootstrap distro-info-data |