diff options
| author | Elan Ruusamäe | 2019-01-23 14:43:04 (GMT) |
|---|---|---|
| committer | Elan Ruusamäe | 2019-01-23 14:43:04 (GMT) |
| commit | ad5ed75b3b5faa1dcf87f576955c52b3f8c444bd (patch) | |
| tree | b2fc13e18da5f17f9fc4ce10481c8bcb19e9de6b | |
| parent | 8e5e409e7a64a9757b2202647d0f7ec8ac2854c4 (diff) | |
| download | cleanbuild-ad5ed75b3b5faa1dcf87f576955c52b3f8c444bd.zip cleanbuild-ad5ed75b3b5faa1dcf87f576955c52b3f8c444bd.tar.gz | |
add --keep-container option
| -rwxr-xr-x | cleanbuild-docker.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/cleanbuild-docker.sh b/cleanbuild-docker.sh index ffec62e..82f9021 100755 --- a/cleanbuild-docker.sh +++ b/cleanbuild-docker.sh @@ -7,6 +7,7 @@ PROGRAM=${0##*/} : ${PACKAGE_NAME=''} : ${NETWORKING=false} : ${TRACING=false} +: ${KEEP_CONTAINER=false} : ${TMPFS="4G"} dir=$(pwd) @@ -121,7 +122,7 @@ package_build() { docker exec --user=root -w / $name $home/cleanbuild/findunusedbr -c / $home/rpm/packages/$PACKAGE_NAME/$PACKAGE_NAME.spec - if [ $rc -eq 0 ]; then + if [ $rc -eq 0 ] && ! $KEEP_CONTAINER; then # finished ok, cleanup docker kill $name >/dev/null && docker rm $name >/dev/null || : fi @@ -133,7 +134,7 @@ package_build() { parse_options() { local t - t=$(getopt -o 'x' --long 'network,no-tmpfs,notmpfs,tmpfs:' -n "$PROGRAM" -- "$@") + t=$(getopt -o 'x' --long 'network,no-tmpfs,notmpfs,tmpfs:,keep-container' -n "$PROGRAM" -- "$@") [ $? != 0 ] && exit $? eval set -- "$t" @@ -152,6 +153,9 @@ parse_options() { shift TMPFS="$1" ;; + --keep-container) + KEEP_CONTAINER=true + ;; --) shift break |