A Dockerfile that produces a Docker Image for Redis