From d51e58539a29a5f1b304013ae53ef5aed467cdde Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 25 Jul 2020 00:26:44 +0100
Subject: [PATCH] found

---
 scripts/x  |  3 +++
 scripts/xr | 16 ++++++++++++++++
 2 files changed, 19 insertions(+)
 create mode 100755 scripts/x
 create mode 100755 scripts/xr

diff --git a/scripts/x b/scripts/x
new file mode 100755
index 0000000..7349090
--- /dev/null
+++ b/scripts/x
@@ -0,0 +1,3 @@
+#!/bin/sh
+set -e
+exec xterm "$@" &
diff --git a/scripts/xr b/scripts/xr
new file mode 100755
index 0000000..b92ce58
--- /dev/null
+++ b/scripts/xr
@@ -0,0 +1,16 @@
+#!/bin/sh
+set -e
+leaves=""
+while ! cd Build 2>/dev/null; do
+    cwd="$(pwd)"
+    leaf="${cwd##*/}"
+    if test -z "$leaf"; then echo >&2 'xr: no Build found'; break; fi
+    leaves="$leaf/$leaves"
+    cd ..
+done
+
+exec x -e \
+really -u rustcargo \
+env - PATH=/usr/local/bin:/usr/bin:/bin HOME=/home/rustcargo \
+      $(env | egrep '^LC_|^LANG=|^LANGUAGE=|^TERM=|^LESS=|^PAGER=') \
+bash --login -ec 'cd "$@"; exec bash' x "$(pwd)/$leaves"
-- 
2.30.2