diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/maintainance.sh (renamed from bin/housekeeping.sh) | 6 | ||||
| -rwxr-xr-x | bin/reproducible_maintainance.sh (renamed from bin/reproducible_housekeeping.sh) | 0 |
2 files changed, 3 insertions, 3 deletions
diff --git a/bin/housekeeping.sh b/bin/maintainance.sh index 91430011..85629757 100755 --- a/bin/housekeeping.sh +++ b/bin/maintainance.sh @@ -95,7 +95,7 @@ wait4idle() { echo "Done waiting: $(date)" } -general_housekeeping() { +general_maintainance() { uptime echo @@ -118,10 +118,10 @@ general_housekeeping() { } # -# if $1 is empty, we do general housekeeping, else for some subgroup of all jobs +# if $1 is empty, we do general maintainance, else for some subgroup of all jobs # if [ -z $1 ] ; then - general_housekeeping + general_maintainance report_squid_usage brief else case $1 in diff --git a/bin/reproducible_housekeeping.sh b/bin/reproducible_maintainance.sh index f7682245..f7682245 100755 --- a/bin/reproducible_housekeeping.sh +++ b/bin/reproducible_maintainance.sh |