From b391a141b250df0e6b5f976dbdd84e432c51adb2 Mon Sep 17 00:00:00 2001 From: aadit Date: Wed, 11 Jun 2025 12:28:00 +0530 Subject: [PATCH] Update tools.sh --- tools.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools.sh b/tools.sh index b35e245..192b8dc 100644 --- a/tools.sh +++ b/tools.sh @@ -6,6 +6,8 @@ set -e # Install Zed echo "Installing Zed editor..." curl -f https://zed.dev/install.sh | sh +echo 'export PATH=$HOME/.local/bin:$PATH' >> ~/.bashrc +source ~/.bashrc # Add Zotero repository and install Zotero & Jurism echo "Setting up Zotero and Jurism repositories..."