commit d786605645f7796efe574b2b3bd0af9567626481 parent e6fbddb0c6cd6a7b5b3a0382ac3b896753605635 Author: Pablo Cárdenas <pablo.cardenas@imca.edu.pe> Date: Fri, 7 Jun 2024 07:22:00 -0500 bash: force to use dirs instead of pwd Diffstat:
| M | .config/shell/functions.sh | | | 2 | ++ |
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/.config/shell/functions.sh b/.config/shell/functions.sh @@ -2,6 +2,8 @@ cd() { echo "Use pushd!"; } +pwd() { echo "Use dirs [-v]"; } + man() { case $1 in -* | [1-9]* | n)