File tree Expand file tree Collapse file tree 17 files changed +136
-0
lines changed
Expand file tree Collapse file tree 17 files changed +136
-0
lines changed Original file line number Diff line number Diff line change 66
77FROM debian:jessie
88
9+ # prevent Debian's PHP packages from being installed
10+ RUN set -eux; \
11+ { \
12+ echo 'Package: php*' ; \
13+ echo 'Pin: release *' ; \
14+ echo 'Pin-Priority: -1' ; \
15+ } > /etc/apt/preferences.d/no-debian-php
16+
917# persistent / runtime deps
1018ENV PHPIZE_DEPS \
1119 autoconf \
Original file line number Diff line number Diff line change 66
77FROM debian:jessie
88
9+ # prevent Debian's PHP packages from being installed
10+ RUN set -eux; \
11+ { \
12+ echo 'Package: php*' ; \
13+ echo 'Pin: release *' ; \
14+ echo 'Pin-Priority: -1' ; \
15+ } > /etc/apt/preferences.d/no-debian-php
16+
917# persistent / runtime deps
1018ENV PHPIZE_DEPS \
1119 autoconf \
Original file line number Diff line number Diff line change 66
77FROM debian:jessie
88
9+ # prevent Debian's PHP packages from being installed
10+ RUN set -eux; \
11+ { \
12+ echo 'Package: php*' ; \
13+ echo 'Pin: release *' ; \
14+ echo 'Pin-Priority: -1' ; \
15+ } > /etc/apt/preferences.d/no-debian-php
16+
917# persistent / runtime deps
1018ENV PHPIZE_DEPS \
1119 autoconf \
Original file line number Diff line number Diff line change 66
77FROM debian:jessie
88
9+ # prevent Debian's PHP packages from being installed
10+ RUN set -eux; \
11+ { \
12+ echo 'Package: php*' ; \
13+ echo 'Pin: release *' ; \
14+ echo 'Pin-Priority: -1' ; \
15+ } > /etc/apt/preferences.d/no-debian-php
16+
917# persistent / runtime deps
1018ENV PHPIZE_DEPS \
1119 autoconf \
Original file line number Diff line number Diff line change 66
77FROM debian:jessie
88
9+ # prevent Debian's PHP packages from being installed
10+ RUN set -eux; \
11+ { \
12+ echo 'Package: php*' ; \
13+ echo 'Pin: release *' ; \
14+ echo 'Pin-Priority: -1' ; \
15+ } > /etc/apt/preferences.d/no-debian-php
16+
917# persistent / runtime deps
1018ENV PHPIZE_DEPS \
1119 autoconf \
Original file line number Diff line number Diff line change 66
77FROM debian:jessie
88
9+ # prevent Debian's PHP packages from being installed
10+ RUN set -eux; \
11+ { \
12+ echo 'Package: php*' ; \
13+ echo 'Pin: release *' ; \
14+ echo 'Pin-Priority: -1' ; \
15+ } > /etc/apt/preferences.d/no-debian-php
16+
917# persistent / runtime deps
1018ENV PHPIZE_DEPS \
1119 autoconf \
Original file line number Diff line number Diff line change 66
77FROM debian:jessie
88
9+ # prevent Debian's PHP packages from being installed
10+ RUN set -eux; \
11+ { \
12+ echo 'Package: php*' ; \
13+ echo 'Pin: release *' ; \
14+ echo 'Pin-Priority: -1' ; \
15+ } > /etc/apt/preferences.d/no-debian-php
16+
917# persistent / runtime deps
1018ENV PHPIZE_DEPS \
1119 autoconf \
Original file line number Diff line number Diff line change 66
77FROM debian:jessie
88
9+ # prevent Debian's PHP packages from being installed
10+ RUN set -eux; \
11+ { \
12+ echo 'Package: php*' ; \
13+ echo 'Pin: release *' ; \
14+ echo 'Pin-Priority: -1' ; \
15+ } > /etc/apt/preferences.d/no-debian-php
16+
917# persistent / runtime deps
1018ENV PHPIZE_DEPS \
1119 autoconf \
Original file line number Diff line number Diff line change 66
77FROM debian:jessie
88
9+ # prevent Debian's PHP packages from being installed
10+ RUN set -eux; \
11+ { \
12+ echo 'Package: php*' ; \
13+ echo 'Pin: release *' ; \
14+ echo 'Pin-Priority: -1' ; \
15+ } > /etc/apt/preferences.d/no-debian-php
16+
917# persistent / runtime deps
1018ENV PHPIZE_DEPS \
1119 autoconf \
Original file line number Diff line number Diff line change 66
77FROM debian:jessie
88
9+ # prevent Debian's PHP packages from being installed
10+ RUN set -eux; \
11+ { \
12+ echo 'Package: php*' ; \
13+ echo 'Pin: release *' ; \
14+ echo 'Pin-Priority: -1' ; \
15+ } > /etc/apt/preferences.d/no-debian-php
16+
917# persistent / runtime deps
1018ENV PHPIZE_DEPS \
1119 autoconf \
You can’t perform that action at this time.
0 commit comments