
minizinc() {
  docker run --rm -it -v "$PWD":/data -w /data jpalardy/minizinc minizinc "$@"
}

mysql() {
  docker run -it -v "$PWD":/data -w /data --rm mysql mysql "$@"
}



minizinc() {
  docker run --rm -it -v "$PWD":/data -w /data jpalardy/minizinc minizinc "$@"
}

mysql() {
  docker run -it -v "$PWD":/data -w /data --rm mysql mysql "$@"
}

alf() {
  docker run -ti --name alf --rm amazonlinux-fresh
}


Add alias for quick amazonlinux containers
Add alias for quick amazonlinux containers
