diff options
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." |