diff options
author | Elan Ruusamäe | 2022-09-05 15:10:42 (GMT) |
---|---|---|
committer | Elan Ruusamäe | 2023-02-22 19:09:13 (GMT) |
commit | bbed53cf5148464a236b441138b47a4cc8bc8216 (patch) | |
tree | 7e9d794210a1245a8f8977c0866b0ced1fd035d7 | |
parent | defb816c0b1804fbe4efad7bfbecfab6fd90db13 (diff) | |
download | cleanbuild-bbed53cf5148464a236b441138b47a4cc8bc8216.zip cleanbuild-bbed53cf5148464a236b441138b47a4cc8bc8216.tar.gz |
Fix have_container seeing dead containers
-rwxr-xr-x | bin/cleanbuild-docker.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/cleanbuild-docker.sh b/bin/cleanbuild-docker.sh index cd6641f..0078973 100755 --- a/bin/cleanbuild-docker.sh +++ b/bin/cleanbuild-docker.sh @@ -61,7 +61,7 @@ tmpfs() { have_container() { local name="$1" id - id=$(docker ps -a -f "label=cleanbuild=$name" --format '{{.ID}}') + id=$(docker ps -f "label=cleanbuild=$name" --format '{{.ID}}') test -n "$id" } |