Which Docker to use?

[Ky-Anh Huynh]

On Wednesday, 17 October 2018 at 23:15:53 UTC, Jon Degenhardt 
wrote:
>
> I need to use docker to build static linked Linux executables. 
> My reason is specific, may be different than the OP's. I'm 
> using Travis-CI to build executables. Travis-CI uses Ubuntu 
> 14.04, but static linking fails on 14.04. The standard C 
> library from Ubuntu 16.04 or later is needed. There may be 
> other/better ways to do this, I don't know.

Yes I'm also using Travis-CI and that's why I need some Docker 
support.