annotate scripts/pid2name.sh @ 50:c1f38cbf1294

fix exec bit
author Dave smith <smith@nwoca.org>
date Mon, 22 Feb 2016 12:25:41 -0500
parents 2e2b47145349
children 334d65dac778
rev   line source
42
2e2b47145349 add script to convert host pid into container name
Dave smith <smith@nwoca.org>
parents:
diff changeset
1 docker ps -q | xargs docker inspect --format '{{.State.Pid}} {{.Name}}' \
2e2b47145349 add script to convert host pid into container name
Dave smith <smith@nwoca.org>
parents:
diff changeset
2 | grep "^$1" | sed 's/^.*\///g'
2e2b47145349 add script to convert host pid into container name
Dave smith <smith@nwoca.org>
parents:
diff changeset
3