annotate scripts/pid2name.sh @ 46:dfbb643b82a3

tee import logs to a file
author smith@nwoca.org
date Tue, 02 Feb 2016 21:24:28 +0000
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