From 174508881055919ff09c3b4868c37bebb92fd93a Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sat, 14 Feb 2026 04:30:38 +0000
Subject: [PATCH 1/2] Initial plan


From 1d13bf85318810beb2a4e5d2a47c2e63781d8f4e Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sat, 14 Feb 2026 04:32:17 +0000
Subject: [PATCH 2/2] Create rvx symlink pointing to rv

Co-authored-by: parkr <237985+parkr@users.noreply.github.com>
---
 linux/Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/linux/Dockerfile b/linux/Dockerfile
index 3da995c..7ec617f 100644
--- a/linux/Dockerfile
+++ b/linux/Dockerfile
@@ -72,6 +72,7 @@ RUN export DERIVED_ARCH="$(arch)" \
   | curl -L $(cat -) -o /tmp/rv.tar.xz \
   && tar -xvf /tmp/rv.tar.xz -C /tmp \
   && install -m 755 /tmp/rv-${ARCH}-unknown-linux-gnu/rv /usr/local/bin/rv \
+  && ln -s /usr/local/bin/rv /usr/local/bin/rvx \
   && rm /tmp/rv.tar.xz \
   && which rv