From fef564a570f95a0bc8fe8566e90bfa4cddd02b83 Mon Sep 17 00:00:00 2001 From: Anna Schumaker Date: Wed, 19 Jul 2023 12:02:47 -0400 Subject: [PATCH] rping.zsh: Various Updates * Use $COLORS from common.zsh * Fix colorful output when run from a different script Signed-off-by: Anna Schumaker --- rping.zsh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/rping.zsh b/rping.zsh index 8764c02..1faae31 100755 --- a/rping.zsh +++ b/rping.zsh @@ -1,4 +1,5 @@ #!/bin/zsh -e +source common.zsh if [ "$#" -ne 3 ]; then echo "Usage: $0 {rxe,siw} {client} {server}" @@ -10,8 +11,7 @@ CLIENT=$2 SERVER=$3 IFS=$'\n' -BIN=$HOME/bin -tags=($(python $BIN/colors/vm.py $CLIENT $SERVER)) +tags=($(FORCE_COLOR=1 python $COLORS/vm.py $CLIENT $SERVER)) $BIN/rdma.zsh $RDMA $CLIENT $SERVER