Docker

Build image from Dockerfile in the current directory:
```
 docker build -t="tlam/myproj:v1" .
```

Run shell in a container

 docker run -t -i tlam/myproj:v1 /bin/bash

Push to docker hub
```
 docker push tlam/myproj
```
Stop a container named pensive_tesla
```
 docker stop pensive_tesla
```
Remove all docker containers
```
 docker rm `docker ps --no-trunc -aq`
```
List docker containers
```
 docker ps
```
ssh into a docker container with the container id
```
 docker exec -it f9b48df9f27c bash
```
ssh into a docker container using the service name server
```
 docker-compose exec server bash
```
Connect from a container to a service on the host
```
 http://host.docker.internal
```