| # Use the official Ubuntu 18.04 image as a base | |
| FROM ubuntu:18.04 | |
| # Update the system and install Redis | |
| RUN apt-get update && apt-get install -y redis-server | |
| # Expose the default Redis port | |
| EXPOSE 6379 | |
| # Run the Redis server as the main process | |
| CMD ["echo never > /sys/kernel/mm/transparent_hugepage/enabled"] | |
| CMD ["redis-server"] | |