| # Use the official Ubuntu 18.04 image as a base | |
| FROM ubuntu:18.04 | |
| # Expose the default Redis port | |
| EXPOSE 7860 | |
| # Update the system and install Redis | |
| RUN apt-get update && apt-get install -y redis-server | |
| RUN mkdir -p /etc/lib/redis | |
| RUN chmod -R 777 /etc/lib/redis | |
| COPY redis.conf /etc/redis/redis.conf | |
| # Run the Redis server as the main process with the configuration file | |
| CMD ["redis-server", "/etc/redis/redis.conf"] | |