From 2ec1f9d43fce33f04f69ec5e23357713fe326d91 Mon Sep 17 00:00:00 2001 From: Samir Benmendil Date: Tue, 5 Jul 2022 11:11:10 +0100 Subject: [PATCH] zsh: delete old unused named dirs --- zshrc | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/zshrc b/zshrc index d7112b9..bd08df0 100644 --- 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) -- 2.48.1