A Dockerfile for a redis server