Shell

Fix Docker 'input device is not a TTY' elegantly