From e76a52b8ba525329a9ea59fe0d38b0caf6672383 Mon Sep 17 00:00:00 2001
From: j <j@mailb.org>
Date: Tue, 7 Nov 2017 19:44:47 +0100
Subject: [PATCH] Work around broken venv module in Ubuntu 16.04 / Debian 9

---
 ctl | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/ctl b/ctl
index d3643fab..cc00fd7c 100755
--- a/ctl
+++ b/ctl
@@ -10,6 +10,11 @@ if [ "$action" = "init" ]; then
     cd "`dirname "$0"`"
     BASE=`pwd`
     python3 -m venv --system-site-packages .
+
+    # Work around broken venv module in Ubuntu 16.04 / Debian 9
+    if [ ! -e bin/pip ]; then
+        bin/python3 -m pip install -U pip
+    fi
     if [ ! -d static/oxjs ]; then
         git clone --depth 1 https://git.0x2620.org/oxjs.git static/oxjs
     fi