Fix docker interactive shell
Fix docker interactive shell

Ctrl-P is used in bash to scroll to the previous command. Having to
always use Ctrl-P twice is painfully unusable.

Graham42/dot_files,Graham42/dot_files