Remove errant extra space character

2025-01-22 04:51:20 +01:00 · 2017-12-18 14:21:03 -08:00 · 2017-12-18 14:21:03 -08:00 · 6677546d59
commit 6677546d59
parent 79436c81bd
17 changed files with 17 additions and 17 deletions
--- a/5.6/jessie/apache/Dockerfile
+++ b/5.6/jessie/apache/Dockerfile
@ -11,7 +11,7 @@ FROM debian:jessie
 RUN set -eux; \
 	{ \
 		echo 'Package: php*'; \
-		echo 'Pin: release  *'; \
+		echo 'Pin: release *'; \
 		echo 'Pin-Priority: -1'; \
 	} > /etc/apt/preferences.d/no-debian-php

--- a/5.6/jessie/cli/Dockerfile
+++ b/5.6/jessie/cli/Dockerfile
@ -11,7 +11,7 @@ FROM debian:jessie
 RUN set -eux; \
 	{ \
 		echo 'Package: php*'; \
-		echo 'Pin: release  *'; \
+		echo 'Pin: release *'; \
 		echo 'Pin-Priority: -1'; \
 	} > /etc/apt/preferences.d/no-debian-php

--- a/5.6/jessie/fpm/Dockerfile
+++ b/5.6/jessie/fpm/Dockerfile
@ -11,7 +11,7 @@ FROM debian:jessie
 RUN set -eux; \
 	{ \
 		echo 'Package: php*'; \
-		echo 'Pin: release  *'; \
+		echo 'Pin: release *'; \
 		echo 'Pin-Priority: -1'; \
 	} > /etc/apt/preferences.d/no-debian-php

--- a/5.6/jessie/zts/Dockerfile
+++ b/5.6/jessie/zts/Dockerfile
@ -11,7 +11,7 @@ FROM debian:jessie
 RUN set -eux; \
 	{ \
 		echo 'Package: php*'; \
-		echo 'Pin: release  *'; \
+		echo 'Pin: release *'; \
 		echo 'Pin-Priority: -1'; \
 	} > /etc/apt/preferences.d/no-debian-php

--- a/7.0/jessie/apache/Dockerfile
+++ b/7.0/jessie/apache/Dockerfile
@ -11,7 +11,7 @@ FROM debian:jessie
 RUN set -eux; \
 	{ \
 		echo 'Package: php*'; \
-		echo 'Pin: release  *'; \
+		echo 'Pin: release *'; \
 		echo 'Pin-Priority: -1'; \
 	} > /etc/apt/preferences.d/no-debian-php

--- a/7.0/jessie/cli/Dockerfile
+++ b/7.0/jessie/cli/Dockerfile
@ -11,7 +11,7 @@ FROM debian:jessie
 RUN set -eux; \
 	{ \
 		echo 'Package: php*'; \
-		echo 'Pin: release  *'; \
+		echo 'Pin: release *'; \
 		echo 'Pin-Priority: -1'; \
 	} > /etc/apt/preferences.d/no-debian-php

--- a/7.0/jessie/fpm/Dockerfile
+++ b/7.0/jessie/fpm/Dockerfile
@ -11,7 +11,7 @@ FROM debian:jessie
 RUN set -eux; \
 	{ \
 		echo 'Package: php*'; \
-		echo 'Pin: release  *'; \
+		echo 'Pin: release *'; \
 		echo 'Pin-Priority: -1'; \
 	} > /etc/apt/preferences.d/no-debian-php

--- a/7.0/jessie/zts/Dockerfile
+++ b/7.0/jessie/zts/Dockerfile
@ -11,7 +11,7 @@ FROM debian:jessie
 RUN set -eux; \
 	{ \
 		echo 'Package: php*'; \
-		echo 'Pin: release  *'; \
+		echo 'Pin: release *'; \
 		echo 'Pin-Priority: -1'; \
 	} > /etc/apt/preferences.d/no-debian-php

--- a/7.1/jessie/apache/Dockerfile
+++ b/7.1/jessie/apache/Dockerfile
@ -11,7 +11,7 @@ FROM debian:jessie
 RUN set -eux; \
 	{ \
 		echo 'Package: php*'; \
-		echo 'Pin: release  *'; \
+		echo 'Pin: release *'; \
 		echo 'Pin-Priority: -1'; \
 	} > /etc/apt/preferences.d/no-debian-php

--- a/7.1/jessie/cli/Dockerfile
+++ b/7.1/jessie/cli/Dockerfile
@ -11,7 +11,7 @@ FROM debian:jessie
 RUN set -eux; \
 	{ \
 		echo 'Package: php*'; \
-		echo 'Pin: release  *'; \
+		echo 'Pin: release *'; \
 		echo 'Pin-Priority: -1'; \
 	} > /etc/apt/preferences.d/no-debian-php

--- a/7.1/jessie/fpm/Dockerfile
+++ b/7.1/jessie/fpm/Dockerfile
@ -11,7 +11,7 @@ FROM debian:jessie
 RUN set -eux; \
 	{ \
 		echo 'Package: php*'; \
-		echo 'Pin: release  *'; \
+		echo 'Pin: release *'; \
 		echo 'Pin-Priority: -1'; \
 	} > /etc/apt/preferences.d/no-debian-php

--- a/7.1/jessie/zts/Dockerfile
+++ b/7.1/jessie/zts/Dockerfile
@ -11,7 +11,7 @@ FROM debian:jessie
 RUN set -eux; \
 	{ \
 		echo 'Package: php*'; \
-		echo 'Pin: release  *'; \
+		echo 'Pin: release *'; \
 		echo 'Pin-Priority: -1'; \
 	} > /etc/apt/preferences.d/no-debian-php

--- a/7.2/stretch/apache/Dockerfile
+++ b/7.2/stretch/apache/Dockerfile
@ -11,7 +11,7 @@ FROM debian:stretch-slim
 RUN set -eux; \
 	{ \
 		echo 'Package: php*'; \
-		echo 'Pin: release  *'; \
+		echo 'Pin: release *'; \
 		echo 'Pin-Priority: -1'; \
 	} > /etc/apt/preferences.d/no-debian-php

--- a/7.2/stretch/cli/Dockerfile
+++ b/7.2/stretch/cli/Dockerfile
@ -11,7 +11,7 @@ FROM debian:stretch-slim
 RUN set -eux; \
 	{ \
 		echo 'Package: php*'; \
-		echo 'Pin: release  *'; \
+		echo 'Pin: release *'; \
 		echo 'Pin-Priority: -1'; \
 	} > /etc/apt/preferences.d/no-debian-php

--- a/7.2/stretch/fpm/Dockerfile
+++ b/7.2/stretch/fpm/Dockerfile
@ -11,7 +11,7 @@ FROM debian:stretch-slim
 RUN set -eux; \
 	{ \
 		echo 'Package: php*'; \
-		echo 'Pin: release  *'; \
+		echo 'Pin: release *'; \
 		echo 'Pin-Priority: -1'; \
 	} > /etc/apt/preferences.d/no-debian-php

--- a/7.2/stretch/zts/Dockerfile
+++ b/7.2/stretch/zts/Dockerfile
@ -11,7 +11,7 @@ FROM debian:stretch-slim
 RUN set -eux; \
 	{ \
 		echo 'Package: php*'; \
-		echo 'Pin: release  *'; \
+		echo 'Pin: release *'; \
 		echo 'Pin-Priority: -1'; \
 	} > /etc/apt/preferences.d/no-debian-php

--- a/Dockerfile-debian.template
+++ b/Dockerfile-debian.template
@ -5,7 +5,7 @@ FROM debian:%%DEBIAN_SUITE%%
 RUN set -eux; \
 	{ \
 		echo 'Package: php*'; \
-		echo 'Pin: release  *'; \
+		echo 'Pin: release *'; \
 		echo 'Pin-Priority: -1'; \
 	} > /etc/apt/preferences.d/no-debian-php