Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- docker() {
- if [[ "$1" == "bash" ]]; then
- if [[ "$2" == "" ]]; then
- echo "usage: docker bash CONTAINER_ID"
- else
- command docker exec -ti $2 bash
- fi
- else
- command docker "$@"
- fi
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement