From b82556bfd820a7261cfc37f51c23a22128039a03 Mon Sep 17 00:00:00 2001
From: Radon Rosborough <radon.neon@gmail.com>
Date: Wed, 13 Jan 2021 22:06:02 -0800
Subject: [PATCH] Clean up packages-microsoft-prod.deb

---
 docker/runtime/install.bash | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/docker/runtime/install.bash b/docker/runtime/install.bash
index dd84f32..01a08ab 100755
--- a/docker/runtime/install.bash
+++ b/docker/runtime/install.bash
@@ -6,7 +6,8 @@ latest_release() {
     curl -sSL "https://api.github.com/repos/$1/releases/latest" | jq -r .tag_name
 }
 
-pushd /tmp
+mkdir /tmp/riju-work
+pushd /tmp/riju-work
 
 export DEBIAN_FRONTEND=noninteractive
 
@@ -146,5 +147,6 @@ mkdir -p /opt/riju/langs
 touch /opt/riju/langs/.keep
 
 popd
+rm -rf /tmp/riju-work
 
 rm "$0"