chiark / gitweb /
Update the ubuntu build setup from 17.04 to 17.10
authorFredrik Fornwall <fredrik@fornwall.net>
Thu, 2 Nov 2017 09:18:05 +0000 (10:18 +0100)
committerFredrik Fornwall <fredrik@fornwall.net>
Thu, 2 Nov 2017 09:18:05 +0000 (10:18 +0100)
commit777a4af85c04e7115e12fdf7eb5246ada3ccfaab
tree4246e9c82d1111a8964cfb87eb5aa7e46c2fa60e
parentc7af1a1c5174528cbd9f2ef0ac3bceb4b7fbd3fc
Update the ubuntu build setup from 17.04 to 17.10

An updated image has been pushed to the docker hub, so update with

./scripts/update-docker.sh
README.md
scripts/Dockerfile