From 4c214fdd4422410952e3ab7aa84c1c6a09c81a55 Mon Sep 17 00:00:00 2001
From: Markus Reiter <me@reitermark.us>
Date: Sun, 3 May 2020 14:08:13 +0200
Subject: [PATCH] Use minimal profile for installing `xargo`.

---
 docker/xargo.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docker/xargo.sh b/docker/xargo.sh
index 98b2eded0..3bdac349b 100755
--- a/docker/xargo.sh
+++ b/docker/xargo.sh
@@ -22,10 +22,10 @@ main() {
     export CARGO_HOME=/tmp/cargo
 
     curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs -o rustup-init.sh
-    sh rustup-init.sh -y --no-modify-path
+    sh rustup-init.sh -y --no-modify-path --profile minimal
     rm rustup-init.sh
 
-    PATH="${CARGO_HOME}/bin:${PATH}" cargo install xargo --root /usr
+    PATH="${CARGO_HOME}/bin:${PATH}" cargo install xargo --root /usr/local
 
     rm -r "${RUSTUP_HOME}" "${CARGO_HOME}"