log deploy/linux/docker/Dockerfile_deb.in @ 2168:e0f100aad5f6

age author description
Thu, 13 Dec 2018 10:22:16 +0000 Chris Cannam Ensure Docker cache is defeated when necessary for a consistent build
Tue, 04 Dec 2018 10:57:36 +0000 Chris Cannam Updates to try to resolve bitbucket access problem from old Ubuntu 14.04 image - switching to using a dedicated build ssh key (locally stored, not in the repo!) copied in on demand
Wed, 21 Nov 2018 12:30:40 +0000 Chris Cannam Deb fixes
Wed, 21 Nov 2018 11:55:01 +0000 Chris Cannam Fix some typos in deb scripts
Wed, 21 Nov 2018 11:25:43 +0000 Chris Cannam Experimental Docker deb package build