diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-10-06 19:10:00 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-10-06 19:10:00 +0200 |
commit | 8db1d9365cca524838495a4736513637cd870c99 (patch) | |
tree | be07d4a5f94f749e1d26addec1ffd6fab21eaf07 /bin/reproducible_maintenance.sh | |
parent | 659b2aa7cc2bfc42d7a55fe330a05f88c86e7904 (diff) | |
download | jenkins.debian.net-8db1d9365cca524838495a4736513637cd870c99.tar.xz |
refactor: move cleanup_schroot_sessions() to common_functions.sh
Diffstat (limited to 'bin/reproducible_maintenance.sh')
-rwxr-xr-x | bin/reproducible_maintenance.sh | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh index 156e6b79..0b2d9aae 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -114,12 +114,7 @@ fi # remove old and unused schroot sessions echo "$(date -u) - Removing unused schroot sessions." -pgrep -f "schroot --directory" || for i in $(schroot --all-sessions -l ) ; do pgrep -f "schroot --directory" || schroot -e -c $i ; done -# to explain this: -# first, check if no process using "schroot" is running... -# then loop through all schroot sessions -# for each session -# check that schroot is still not run, and then, delete the session +cleanup_schroot_sessions # find old schroots echo "$(date -u) - Removing old schroots." |