Update FreshRSS to 1.11.1

This commit is contained in:
Girish Ramakrishnan 2018-09-08 16:47:32 -07:00
parent 808727e951
commit 81724b280f
1 changed files with 2 additions and 5 deletions

View File

@ -4,18 +4,15 @@ RUN apt-get update \
&& apt-get -y install php php-curl php-gmp php-intl php-mbstring php-xml php-zip \
libapache2-mod-php mysql-client php-mysql
ENV EXTENSIONS_VERSION b63f55d6fdd8e93da846bb741c3fed12d50909be
RUN mkdir -p /app/code
WORKDIR /app/code
# contains fix for extensions_path (see #2)
RUN curl -L https://github.com/FreshRSS/FreshRSS/archive/1.11.0.tar.gz | tar -zxvf - --strip-components=1
RUN curl -L https://github.com/FreshRSS/FreshRSS/archive/1.11.1.tar.gz | tar -zxvf - --strip-components=1
RUN mv data data-orig && ln -s /app/data data
# official extensions
RUN wget https://github.com/FreshRSS/Extensions/archive/${EXTENSIONS_VERSION}.tar.gz -O - | tar -xz --strip-components=1 -C /app/code/extensions && \
RUN wget https://github.com/FreshRSS/Extensions/archive/2d0358e75961cbfcac7c2cbe09b098905ff67803.tar.gz -O - | tar -xz --strip-components=1 -C /app/code/extensions && \
mv /app/code/extensions /app/code/extensions-orig && \
ln -s /app/data/extensions /app/code/extensions