diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2020-08-29 15:54:58 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2020-08-29 15:54:58 +0200 |
| commit | b6b6a6de1d7fb0495a26251e0cac3ada38ea29fb (patch) | |
| tree | 85c8416e8308f493c089e7039bd317b96269996b /Docker/Dockerfile | |
| parent | 48345403df50860a342f53900599e75f5b5efb84 (diff) | |
Docker use Debian instead of Ubuntu (#3159)
#fix https://github.com/FreshRSS/FreshRSS/issues/3026
Ubuntu 19.10 has expired.
I still cannot get Ubuntu 20.04 to work on ARM (Raspberry Pi) https://github.com/FreshRSS/FreshRSS/pull/2943
Move to Debian 10 Buster instead of our current Ubuntu 19.10 (which was based on Debian 10 Buster).
Diffstat (limited to 'Docker/Dockerfile')
| -rw-r--r-- | Docker/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Docker/Dockerfile b/Docker/Dockerfile index 6dbebccb0..0124bcd51 100644 --- a/Docker/Dockerfile +++ b/Docker/Dockerfile @@ -1,4 +1,4 @@ -FROM ubuntu:19.10 +FROM debian:10-slim ENV TZ UTC SHELL ["/bin/bash", "-o", "pipefail", "-c"] |