Define function denter (docker-enter)