redish/redish-cli

54 lines
525 B
Plaintext
Raw Permalink Normal View History

2020-05-02 19:34:34 +00:00
#!/usr/bin/env bash
###
# defaults
###
host=127.0.0.1
port=6379
table=0
###
# config
###
if (( $# )); then
. "$1"
shift
fi
###
2020-05-02 22:32:34 +00:00
# load library
2020-05-02 19:34:34 +00:00
###
. "${REDISH_LIB_PATH:-.}"/redi.sh
2020-05-02 22:32:34 +00:00
###
# cleanup on exit
###
trap cleanup EXIT
2020-05-02 19:34:34 +00:00
###
# driver
###
while get_cmd line; do
redis_cmd=( )
parse_cmd redis_line "$line"
if [[ ${redis_cmd[0]} = EXIT ]]; then
exit 0
fi
redis_send "$redis_line"
2020-05-02 20:36:49 +00:00
lines_left=1
bulk=0 arr=0
while (( lines_left )) && redis_recv line; do
parse_res "$line"
done
2020-05-02 19:34:34 +00:00
done