[alacombe]

I wonder if using the --init flag would also fix the docker issue with bash scripts getting in an infinite loop when the script catch signals:

# Run with care...

$ sudo docker run -it docker.io/ubuntu:14.04 /bin/bash -c 'trap x EXIT; x() { echo exit; }; while sleep 1; do echo sleep; done'

^C

[bash enter in infinite loop]

I'm asking because my Fedora 25 install does not include docker 1.13 yet.

[fapjacks]

Why don't you use Docker's installation repos [0]? The current version of Community Edition is 17.07, which is a handful of releases past 1.13. As someone that works with a few different customers with different versions of Docker, I'd really recommend upgrading to the latest version.

[0] https://docs.docker.com/engine/installation/linux/docker-ce/...