From 3f46eb23de2dabceaf198d72112dbf888e767eae Mon Sep 17 00:00:00 2001
From: Haonan Chen <chn@chn.moe>
Date: Fri, 2 Jan 2026 18:08:02 +0800
Subject: [PATCH] devices.wlin: adjust path

---
 devices/wlin/files/.bash_profile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/devices/wlin/files/.bash_profile b/devices/wlin/files/.bash_profile
index d0b1c77d..9e8058dd 100644
--- a/devices/wlin/files/.bash_profile
+++ b/devices/wlin/files/.bash_profile
@@ -6,5 +6,5 @@ if [ -f ~/.bashrc ]; then
 fi
 
 # User specific environment and startup programs
-export PATH=$PATH:$HOME/bin
+export PATH=/data/gpfs01/wlin/.nix/state/gcroots/current/bin:$HOME/bin:$PATH
 ulimit -s unlimited