Advertisement
Guest User

Untitled

a guest
Oct 10th, 2015
96
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.24 KB | None | 0 0
  1. docker() {
  2. if [[ "$1" == "bash" ]]; then
  3. if [[ "$2" == "" ]]; then
  4. echo "usage: docker bash CONTAINER_ID"
  5. else
  6. command docker exec -ti $2 bash
  7. fi
  8. else
  9. command docker "$@"
  10. fi
  11. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement