summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2024-04-19 12:19:06 +0200
committerRemi Collet <remi@php.net>2024-04-19 12:19:06 +0200
commit57fe5e4701776fff4090bce361dc770ce6fb2582 (patch)
tree53490a4cc9f8e8536c961fc2f2bb77e260e74387
parent9fc98148d850b35f9e47e33188639424dfa89e48 (diff)
alignement
-rwxr-xr-xmockrun4
1 files changed, 2 insertions, 2 deletions
diff --git a/mockrun b/mockrun
index a303073..7f4a935 100755
--- a/mockrun
+++ b/mockrun
@@ -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