diff --git a/support/sherpa-manager.source b/support/sherpa-manager.source index 18989cfa1..57c283168 100755 --- a/support/sherpa-manager.source +++ b/support/sherpa-manager.source @@ -458,11 +458,16 @@ LoadEnv() args_incomplete=() qpkg_default_index=0 qpkg_index=0 + local build_script_epoch=0 readonly r_this_script_epoch='' + readonly r_build_tz_offset_seconds=36000 + + IsNumber $r_this_script_epoch && build_script_epoch=$((r_this_script_epoch+r_build_tz_offset_seconds)) + useropt_branch=$(GetUserGitBranch) readonly r_objects_archive_url=''/$useropt_branch/objects.tar.gz readonly r_packages_archive_url=''/$useropt_branch/packages.tar.gz - readonly r_this_script_ver=$(ConvertSecondsToDatecode $r_this_script_epoch)-$useropt_branch + readonly r_this_script_ver=$(ConvertSecondsToDatecode $build_script_epoch)-$useropt_branch # Essential paths. @@ -12932,6 +12937,23 @@ IsQpkgTimeoutsIncreased() } +IsNumber() + { + + # Input: (local) + # $1 = string + + # Output: (local) + # $? = 0 if $1 has any numerals. + + [[ -n ${1:-} ]] || return + + local a=${1//[!0-9]/} # Strip non-digits. + + [[ ${#a} -gt 0 ]] + + } + CreatePidFile() {