#!/usr/bin/env bash ### # defaults ### host=127.0.0.1 port=6379 table=0 ### # config ### if (( $# )); then . "$1" shift fi ### # library ### . "${REDISH_LIB_PATH:-.}"/redi.sh ### # driver ### while get_cmd line; do parse_cmd redis_cmd redis_line "$line" redis_send "$redis_line" lines_left=1 bulk=0 arr=0 while (( lines_left )) && redis_recv line; do parse_res "$line" done done