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