]> git.rmz.io Git - dotfiles.git/commitdiff
zsh: delete old unused named dirs
authorSamir Benmendil <me@rmz.io>
Tue, 5 Jul 2022 10:11:10 +0000 (11:11 +0100)
committerSamir Benmendil <me@rmz.io>
Tue, 5 Jul 2022 10:11:10 +0000 (11:11 +0100)
zshrc

diff --git a/zshrc b/zshrc
index d7112b927e611e355b9e4ae132bccda2fa4e1f7e..bd08df010c8c6086e5c2a962b3333ee6e6384ade 100644 (file)
--- a/zshrc
+++ b/zshrc
@@ -60,16 +60,4 @@ done
 
 # set up a few named directories
 hash -d fook=/mnt/fook
-hash -d ccr=~/ccr
 hash -d src=~/src
-hash -d chroot_testing=/buildsystem/testing/buildroot
-hash -d chroot_master=/buildsystem/master/buildroot
-hash -d chroot_lib32=/buildsystem/lib32/buildroot
-hash -d wineprefixes=/mnt/data/wineprefixes
-
-# fpp named dirs
-hash -d fpp=~/src/fpp
-hash -d rap_tests=/mnt/fpp_brs/gitlab_data/rap/tests
-
-# add check_copyright to path
-path+=(~/src/fpp/check_copyright)