diff options
author | Erich Eckner <git@eckner.net> | 2017-04-02 20:04:03 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-04-02 20:04:03 +0200 |
commit | ecae4b93bf81b31ed5903e0aabcc1ae6abba2b03 (patch) | |
tree | d7fbb238338c28445c9c62609802fd0812747e03 /checkVersions.in | |
parent | b12114c6c03f2ce9d11a5d2fe894a78861ca05b3 (diff) | |
download | checkVersions-ecae4b93bf81b31ed5903e0aabcc1ae6abba2b03.tar.xz |
Makefile new
Diffstat (limited to 'checkVersions.in')
-rwxr-xr-x | checkVersions.in | 53 |
1 files changed, 0 insertions, 53 deletions
diff --git a/checkVersions.in b/checkVersions.in deleted file mode 100755 index 391bb88..0000000 --- a/checkVersions.in +++ /dev/null @@ -1,53 +0,0 @@ -#!/bin/bash - -tmpDir="$(mktemp -d)" - -declare -A cmds -declare -A pIDs -declare -A running - -cmds['arch']='ssh nlopc43 eigeneSkripte/archPackages/checkVersions -f -j250' -cmds['crux']='/usr/src/ports/lastVersion.sh' -cmds['debian']='ssh router pakete/checkVersions -f' - -for dist in "${!cmds[@]}" -do - ( ( time ( ${cmds["${dist}"]} &> "${tmpDir}/${dist}" ) ) 2> "${tmpDir}/${dist}.time" || echo "err: $?" >> "${tmpDir}/${dist}" ) & - pIDs["${dist}"]=$! - running["${dist}"]=true -done - -set -o pipefail - -run=true - -while ${run} -do - sleep 1 - run=false - for dist in "${!pIDs[@]}" - do - if ! ps aux | \ - awk '{print $2}' | \ - grep -q "^${pIDs["${dist}"]}\$" - then - running["${dist}"]=false - if [ -s "${tmpDir}/${dist}" ] - then - sleep 1 - echo -n "${dist} (" - grep '^real' "${tmpDir}/${dist}.time" | \ - awk '{print $2"):"}' - cat "${tmpDir}/${dist}" - echo - fi - rm -f "${tmpDir}/${dist}" "${tmpDir}/${dist}.time" - fi - if ${running["${dist}"]} - then - run=true - fi - done -done - -rmdir "${tmpDir}" |