pureintent: rename devbox-run to vanjaram-run

The wrapper specifically routes through vanjaram (the jumphost target);
naming it after the host makes that explicit.
This commit is contained in:
Sridhar Ratnakumar 2026-05-13 16:51:40 -04:00
parent bc5e7c8d27
commit cd3e44e7ce

View file

@ -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
];
}