From b2ab970d04e4c4c958ff25fd1ea09af91c39df37 Mon Sep 17 00:00:00 2001
From: brunen9 <mironchikpavel@gmail.com>
Date: Fri, 20 Jul 2018 13:48:09 +0600
Subject: [PATCH] Upgrade PostgreSQL client to version 10. (#1508)

---
 workspace/Dockerfile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/workspace/Dockerfile b/workspace/Dockerfile
index 4f1e4645..0c885807 100644
--- a/workspace/Dockerfile
+++ b/workspace/Dockerfile
@@ -766,7 +766,11 @@ ARG INSTALL_PG_CLIENT=false
 
 RUN if [ ${INSTALL_PG_CLIENT} = true ]; then \
     # Install the pgsql client
-    apt-get -y install postgresql-client \
+    apt-get install wget \
+    && add-apt-repository "deb http://apt.postgresql.org/pub/repos/apt/ xenial-pgdg main" \
+    && wget --quiet -O - https://www.postgresql.org/media/keys/ACCC4CF8.asc | apt-key add - \
+    && apt-get update \
+    && apt-get -y install postgresql-client-10 \
 ;fi
 
 ###########################################################################