From 0a92dd0ed78c4f5672c6a71bf117bf805d71b6a8 Mon Sep 17 00:00:00 2001
From: David Tomaschik <david@systemoverlord.com>
Date: Wed, 13 May 2020 12:36:51 -0700
Subject: [PATCH] Add rr to install_tool.

---
 bin/install_tool | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/bin/install_tool b/bin/install_tool
index eaf8237..473e9dd 100755
--- a/bin/install_tool
+++ b/bin/install_tool
@@ -288,6 +288,14 @@ case ${TOOL} in
     chmod +x "${DESTDIR}/Cura.AppImage"
     add_bin_symlink "Cura.AppImage" cura
     ;;
+  rr)
+    ver=$(python3 -c 'from urllib import request; import json; print(json.load(request.urlopen("https://api.github.com/repos/mozilla/rr/releases/latest"))["name"])')
+    echo "Latest rr is ${ver}"
+    download \
+      "https://github.com/mozilla/rr/releases/download/${ver}/rr-${ver}-Linux-$(uname -m).deb" \
+      "/tmp/rr.deb"
+    sudo dpkg -i /tmp/rr.deb
+    ;;
   *)
     echo "Unknown tool: ${TOOL}" >/dev/stderr
     echo "Options:" >/dev/stderr