File size: 422 Bytes
15b7f67 f963be1 15b7f67 7b478c2 15b7f67 57c9c73 15b7f67 da9939e 15b7f67 13ab8ed 15b7f67 51d46d3 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 |
# 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"]
|