Update tools.sh
This commit is contained in:
parent
f2702fbe3a
commit
b391a141b2
1 changed files with 2 additions and 0 deletions
2
tools.sh
2
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..."
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue