diff options
author | Remi Collet <remi@remirepo.net> | 2024-04-19 12:19:06 +0200 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2024-04-19 12:19:06 +0200 |
commit | 57fe5e4701776fff4090bce361dc770ce6fb2582 (patch) | |
tree | 53490a4cc9f8e8536c961fc2f2bb77e260e74387 | |
parent | 9fc98148d850b35f9e47e33188639424dfa89e48 (diff) |
alignement
-rwxr-xr-x | mockrun | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -32,8 +32,8 @@ do break fi fi - TXT=$(echo $CMD | sed -e 's/^.*-r //;s/ .*$//') - echo -en "\r$(date +%X) $TXT " + TXT="$(echo $CMD | sed -e 's/^.*-r //;s/ .*$//') " + echo -en "\r$(date +%X) ${TXT:0:10}" $CMD --uniqueext=$PPID && echo " Ok." || echo " Error !" done |