diff options
author | Elan Ruusamäe | 2019-10-13 18:15:46 (GMT) |
---|---|---|
committer | Elan Ruusamäe | 2019-10-13 18:15:59 (GMT) |
commit | 3bf22c6f3261b30fd5cf05a224c24b90a71a41c6 (patch) | |
tree | 5c42067dd60cd9210c68934ed318627d8395a3df | |
parent | 60584f5d0a8c1f0afc6f238182369c14e07896e0 (diff) | |
download | cleanbuild-3bf22c6f3261b30fd5cf05a224c24b90a71a41c6.zip cleanbuild-3bf22c6f3261b30fd5cf05a224c24b90a71a41c6.tar.gz |
Add cleanbuild=package_name label
This allows filtering containers buy label:
$ docker ps -f label=cleanbuild
-rwxr-xr-x | cleanbuild-docker.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cleanbuild-docker.sh b/cleanbuild-docker.sh index 8d6bd69..6616bcd 100755 --- a/cleanbuild-docker.sh +++ b/cleanbuild-docker.sh @@ -62,6 +62,7 @@ create_container() { -v $dir:$home/cleanbuild \ -v $dir/cache/poldek:/var/cache/poldek \ -v $dir/cache/ccache/$PACKAGE_NAME:$home/.ccache \ + --label=cleanbuild=$name \ $(tmpfs) \ $image >/dev/null |