Hi Thomas, On Sat, Oct 21, 2017 at 9:51 AM, Thomas Petazzoni <thomas.petazzoni at free-electrons.com> wrote: > Did you meant "dump-init" here instead of "docker-init" ? No, definitely not. Best, Christian