diff options
author | Erich Eckner <git@eckner.net> | 2019-11-08 10:25:03 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-11-08 10:25:03 +0100 |
commit | 48d98d08220a4b556dda97234c9f2deca30c7bb7 (patch) | |
tree | 77dbecd560ab556358d0542b1e248cc74c9bd671 | |
parent | 7f843d3dcc4863e508337dafd1922b7a72ab4477 (diff) | |
download | update-all-48d98d08220a4b556dda97234c9f2deca30c7bb7.tar.xz |
update-all.in: fix pids list
-rw-r--r-- | update-all.in | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/update-all.in b/update-all.in index c82ebc6..2fac8a0 100644 --- a/update-all.in +++ b/update-all.in @@ -45,13 +45,15 @@ for system in "${!systems[@]}"; do done if [ -z "${DISPLAY}" ]; then - pids=$( - screen -list \ - | sed ' - s/^\s\+\([0-9]\+\)\.update-all\s.*$/\1/ - t - d - ' + pids=( + $( + screen -list \ + | sed ' + s/^\s\+\([0-9]\+\)\.update-all\s.*$/\1/ + t + d + ' + ) ) fi |