Redis: deleting many keys with pattern matching using bash shell + redis-cli

Have you ever had the need to delete many keys in a Redis server? If you want to do that, and you...