From 5b01e92806b4ef65e7460f210268160ec6ea2f16 Mon Sep 17 00:00:00 2001
From: Bruno Raoult <braoult@gmail.com>
Date: Sun, 10 Dec 2023 19:23:40 +0100
Subject: [PATCH] bashrc: add rehash()

---
 config/home/.bashrc.br | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/config/home/.bashrc.br b/config/home/.bashrc.br
index 52a54dd..2774ea6 100644
--- a/config/home/.bashrc.br
+++ b/config/home/.bashrc.br
@@ -178,7 +178,15 @@ export USERTMP=~/tmp
 alias fuck='sudo $(history -p \!\!)'
 
 # I am used to rehash...
-alias rehash="hash -r"
+# rehash - manage bash's remembered commands paths
+# $1...: Only forget those commands
+rehash() {
+    if (($#)); then
+        hash -d "$@"
+    else
+        hash -r
+    fi
+}
 
 # french-> english and english->french translation
 alias trans="trans.sh"