annotate deploy/linux/docker/Dockerfile_test_deb.in @ 698:ee97c742d184 tip

Default branch is now named default on git as well as hg, in case we ever want to switch to mirroring in the other direction
author Chris Cannam
date Thu, 27 Aug 2020 15:58:43 +0100
parents cccac82528b9
children
rev   line source
Chris@622 1 FROM ubuntu:18.04
Chris@622 2
Chris@622 3 # Ensure that everything subsequent is re-run when a new revision is
Chris@622 4 # being built (rather than being cached) - so as to avoid potential
Chris@622 5 # mismatches between results of apt-get update and the package
Chris@622 6 # dependency installation itself
Chris@622 7 RUN echo [[REVISION]]
Chris@622 8
Chris@622 9 RUN apt-get update
Chris@622 10 ADD output/tony_[[RELEASE]]_amd64.deb tony_[[RELEASE]]_amd64.deb
Chris@622 11 RUN apt install -y ./tony_[[RELEASE]]_amd64.deb
Chris@622 12 RUN /usr/bin/tony --version
Chris@622 13