File tree 17 files changed +153
-0
lines changed 17 files changed +153
-0
lines changed Original file line number Diff line number Diff line change 6
6
7
7
FROM debian:jessie
8
8
9
+ # prevent Debian's PHP packages from being installed
10
+ # https://github.com/docker-library/php/pull/542
11
+ RUN set -eux; \
12
+ { \
13
+ echo 'Package: php*' ; \
14
+ echo 'Pin: release *' ; \
15
+ echo 'Pin-Priority: -1' ; \
16
+ } > /etc/apt/preferences.d/no-debian-php
17
+
9
18
# persistent / runtime deps
10
19
ENV PHPIZE_DEPS \
11
20
autoconf \
Original file line number Diff line number Diff line change 6
6
7
7
FROM debian:jessie
8
8
9
+ # prevent Debian's PHP packages from being installed
10
+ # https://github.com/docker-library/php/pull/542
11
+ RUN set -eux; \
12
+ { \
13
+ echo 'Package: php*' ; \
14
+ echo 'Pin: release *' ; \
15
+ echo 'Pin-Priority: -1' ; \
16
+ } > /etc/apt/preferences.d/no-debian-php
17
+
9
18
# persistent / runtime deps
10
19
ENV PHPIZE_DEPS \
11
20
autoconf \
Original file line number Diff line number Diff line change 6
6
7
7
FROM debian:jessie
8
8
9
+ # prevent Debian's PHP packages from being installed
10
+ # https://github.com/docker-library/php/pull/542
11
+ RUN set -eux; \
12
+ { \
13
+ echo 'Package: php*' ; \
14
+ echo 'Pin: release *' ; \
15
+ echo 'Pin-Priority: -1' ; \
16
+ } > /etc/apt/preferences.d/no-debian-php
17
+
9
18
# persistent / runtime deps
10
19
ENV PHPIZE_DEPS \
11
20
autoconf \
Original file line number Diff line number Diff line change 6
6
7
7
FROM debian:jessie
8
8
9
+ # prevent Debian's PHP packages from being installed
10
+ # https://github.com/docker-library/php/pull/542
11
+ RUN set -eux; \
12
+ { \
13
+ echo 'Package: php*' ; \
14
+ echo 'Pin: release *' ; \
15
+ echo 'Pin-Priority: -1' ; \
16
+ } > /etc/apt/preferences.d/no-debian-php
17
+
9
18
# persistent / runtime deps
10
19
ENV PHPIZE_DEPS \
11
20
autoconf \
Original file line number Diff line number Diff line change 6
6
7
7
FROM debian:jessie
8
8
9
+ # prevent Debian's PHP packages from being installed
10
+ # https://github.com/docker-library/php/pull/542
11
+ RUN set -eux; \
12
+ { \
13
+ echo 'Package: php*' ; \
14
+ echo 'Pin: release *' ; \
15
+ echo 'Pin-Priority: -1' ; \
16
+ } > /etc/apt/preferences.d/no-debian-php
17
+
9
18
# persistent / runtime deps
10
19
ENV PHPIZE_DEPS \
11
20
autoconf \
Original file line number Diff line number Diff line change 6
6
7
7
FROM debian:jessie
8
8
9
+ # prevent Debian's PHP packages from being installed
10
+ # https://github.com/docker-library/php/pull/542
11
+ RUN set -eux; \
12
+ { \
13
+ echo 'Package: php*' ; \
14
+ echo 'Pin: release *' ; \
15
+ echo 'Pin-Priority: -1' ; \
16
+ } > /etc/apt/preferences.d/no-debian-php
17
+
9
18
# persistent / runtime deps
10
19
ENV PHPIZE_DEPS \
11
20
autoconf \
Original file line number Diff line number Diff line change 6
6
7
7
FROM debian:jessie
8
8
9
+ # prevent Debian's PHP packages from being installed
10
+ # https://github.com/docker-library/php/pull/542
11
+ RUN set -eux; \
12
+ { \
13
+ echo 'Package: php*' ; \
14
+ echo 'Pin: release *' ; \
15
+ echo 'Pin-Priority: -1' ; \
16
+ } > /etc/apt/preferences.d/no-debian-php
17
+
9
18
# persistent / runtime deps
10
19
ENV PHPIZE_DEPS \
11
20
autoconf \
Original file line number Diff line number Diff line change 6
6
7
7
FROM debian:jessie
8
8
9
+ # prevent Debian's PHP packages from being installed
10
+ # https://github.com/docker-library/php/pull/542
11
+ RUN set -eux; \
12
+ { \
13
+ echo 'Package: php*' ; \
14
+ echo 'Pin: release *' ; \
15
+ echo 'Pin-Priority: -1' ; \
16
+ } > /etc/apt/preferences.d/no-debian-php
17
+
9
18
# persistent / runtime deps
10
19
ENV PHPIZE_DEPS \
11
20
autoconf \
Original file line number Diff line number Diff line change 6
6
7
7
FROM debian:jessie
8
8
9
+ # prevent Debian's PHP packages from being installed
10
+ # https://github.com/docker-library/php/pull/542
11
+ RUN set -eux; \
12
+ { \
13
+ echo 'Package: php*' ; \
14
+ echo 'Pin: release *' ; \
15
+ echo 'Pin-Priority: -1' ; \
16
+ } > /etc/apt/preferences.d/no-debian-php
17
+
9
18
# persistent / runtime deps
10
19
ENV PHPIZE_DEPS \
11
20
autoconf \
Original file line number Diff line number Diff line change 6
6
7
7
FROM debian:jessie
8
8
9
+ # prevent Debian's PHP packages from being installed
10
+ # https://github.com/docker-library/php/pull/542
11
+ RUN set -eux; \
12
+ { \
13
+ echo 'Package: php*' ; \
14
+ echo 'Pin: release *' ; \
15
+ echo 'Pin-Priority: -1' ; \
16
+ } > /etc/apt/preferences.d/no-debian-php
17
+
9
18
# persistent / runtime deps
10
19
ENV PHPIZE_DEPS \
11
20
autoconf \
Original file line number Diff line number Diff line change 6
6
7
7
FROM debian:jessie
8
8
9
+ # prevent Debian's PHP packages from being installed
10
+ # https://github.com/docker-library/php/pull/542
11
+ RUN set -eux; \
12
+ { \
13
+ echo 'Package: php*' ; \
14
+ echo 'Pin: release *' ; \
15
+ echo 'Pin-Priority: -1' ; \
16
+ } > /etc/apt/preferences.d/no-debian-php
17
+
9
18
# persistent / runtime deps
10
19
ENV PHPIZE_DEPS \
11
20
autoconf \
Original file line number Diff line number Diff line change 6
6
7
7
FROM debian:jessie
8
8
9
+ # prevent Debian's PHP packages from being installed
10
+ # https://github.com/docker-library/php/pull/542
11
+ RUN set -eux; \
12
+ { \
13
+ echo 'Package: php*' ; \
14
+ echo 'Pin: release *' ; \
15
+ echo 'Pin-Priority: -1' ; \
16
+ } > /etc/apt/preferences.d/no-debian-php
17
+
9
18
# persistent / runtime deps
10
19
ENV PHPIZE_DEPS \
11
20
autoconf \
Original file line number Diff line number Diff line change 6
6
7
7
FROM debian:stretch-slim
8
8
9
+ # prevent Debian's PHP packages from being installed
10
+ # https://github.com/docker-library/php/pull/542
11
+ RUN set -eux; \
12
+ { \
13
+ echo 'Package: php*' ; \
14
+ echo 'Pin: release *' ; \
15
+ echo 'Pin-Priority: -1' ; \
16
+ } > /etc/apt/preferences.d/no-debian-php
17
+
9
18
# persistent / runtime deps
10
19
ENV PHPIZE_DEPS \
11
20
autoconf \
Original file line number Diff line number Diff line change 6
6
7
7
FROM debian:stretch-slim
8
8
9
+ # prevent Debian's PHP packages from being installed
10
+ # https://github.com/docker-library/php/pull/542
11
+ RUN set -eux; \
12
+ { \
13
+ echo 'Package: php*' ; \
14
+ echo 'Pin: release *' ; \
15
+ echo 'Pin-Priority: -1' ; \
16
+ } > /etc/apt/preferences.d/no-debian-php
17
+
9
18
# persistent / runtime deps
10
19
ENV PHPIZE_DEPS \
11
20
autoconf \
Original file line number Diff line number Diff line change 6
6
7
7
FROM debian:stretch-slim
8
8
9
+ # prevent Debian's PHP packages from being installed
10
+ # https://github.com/docker-library/php/pull/542
11
+ RUN set -eux; \
12
+ { \
13
+ echo 'Package: php*' ; \
14
+ echo 'Pin: release *' ; \
15
+ echo 'Pin-Priority: -1' ; \
16
+ } > /etc/apt/preferences.d/no-debian-php
17
+
9
18
# persistent / runtime deps
10
19
ENV PHPIZE_DEPS \
11
20
autoconf \
Original file line number Diff line number Diff line change 6
6
7
7
FROM debian:stretch-slim
8
8
9
+ # prevent Debian's PHP packages from being installed
10
+ # https://github.com/docker-library/php/pull/542
11
+ RUN set -eux; \
12
+ { \
13
+ echo 'Package: php*' ; \
14
+ echo 'Pin: release *' ; \
15
+ echo 'Pin-Priority: -1' ; \
16
+ } > /etc/apt/preferences.d/no-debian-php
17
+
9
18
# persistent / runtime deps
10
19
ENV PHPIZE_DEPS \
11
20
autoconf \
Original file line number Diff line number Diff line change 1
1
FROM debian:%%DEBIAN_SUITE%%
2
2
3
+ # prevent Debian's PHP packages from being installed
4
+ # https://github.com/docker-library/php/pull/542
5
+ RUN set -eux; \
6
+ { \
7
+ echo 'Package: php*'; \
8
+ echo 'Pin: release *'; \
9
+ echo 'Pin-Priority: -1'; \
10
+ } > /etc/apt/preferences.d/no-debian-php
11
+
3
12
# persistent / runtime deps
4
13
ENV PHPIZE_DEPS \
5
14
autoconf \
You can’t perform that action at this time.
0 commit comments