diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/g-i-installation.sh | 2 | ||||
| -rwxr-xr-x | bin/maintenance.sh (renamed from bin/maintainance.sh) | 6 | ||||
| -rwxr-xr-x | bin/reproducible_maintenance.sh (renamed from bin/reproducible_maintainance.sh) | 0 |
3 files changed, 4 insertions, 4 deletions
diff --git a/bin/g-i-installation.sh b/bin/g-i-installation.sh index 87ea5299..22cd382d 100755 --- a/bin/g-i-installation.sh +++ b/bin/g-i-installation.sh @@ -1080,7 +1080,7 @@ monitor_system() { echo "ERROR: An installation step failed." >> $GOCR exit 1 elif [ ! -z "$ROOT_PROBLEM" ] ; then - echo "ERROR: System is hanging at boot and waiting for root maintainance." >> $GOCR + echo "ERROR: System is hanging at boot and waiting for root maintenance." >> $GOCR exit 1 elif [ ! -z "$BUILD_LTSP_PROBLEM" ] ; then echo "ERROR: The failing step is: Build LTSP chroot." >> $GOCR diff --git a/bin/maintainance.sh b/bin/maintenance.sh index 89bf5fd1..c123a9bd 100755 --- a/bin/maintainance.sh +++ b/bin/maintenance.sh @@ -136,7 +136,7 @@ wait4idle() { echo "Done waiting: $(date)" } -general_maintainance() { +general_maintenance() { uptime echo @@ -159,10 +159,10 @@ general_maintainance() { } # -# if $1 is empty, we do general maintainance, else for some subgroup of all jobs +# if $1 is empty, we do general maintenance, else for some subgroup of all jobs # if [ -z $1 ] ; then - general_maintainance + general_maintenance compress_old_jenkins_logs report_squid_usage brief else diff --git a/bin/reproducible_maintainance.sh b/bin/reproducible_maintenance.sh index efdd9985..efdd9985 100755 --- a/bin/reproducible_maintainance.sh +++ b/bin/reproducible_maintenance.sh |