redis, mostly for the cli