From cd3e44e7ce45ded21d10609f5a3d20e518197fed Mon Sep 17 00:00:00 2001 From: Sridhar Ratnakumar Date: Wed, 13 May 2026 16:51:40 -0400 Subject: [PATCH] pureintent: rename devbox-run to vanjaram-run The wrapper specifically routes through vanjaram (the jumphost target); naming it after the host makes that explicit. --- configurations/nixos/pureintent/devbox.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/configurations/nixos/pureintent/devbox.nix b/configurations/nixos/pureintent/devbox.nix index 25d0341..3912fd3 100644 --- a/configurations/nixos/pureintent/devbox.nix +++ b/configurations/nixos/pureintent/devbox.nix @@ -7,7 +7,7 @@ let proxychainsBin = "${config.programs.proxychains.package}/bin/proxychains4"; - devbox-run = pkgs.writeShellScriptBin "devbox-run" '' + vanjaram-run = pkgs.writeShellScriptBin "vanjaram-run" '' export ALL_PROXY=socks5://127.0.0.1:${toString socksPort} export HTTPS_PROXY=socks5://127.0.0.1:${toString socksPort} export HTTP_PROXY=socks5://127.0.0.1:${toString socksPort} @@ -28,6 +28,6 @@ in }; environment.systemPackages = [ - devbox-run + vanjaram-run ]; }