From c8aee44c2a6dc01fb18e173ce78490e62b2e1eaa Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Sun, 12 May 2024 23:46:40 +0400
Subject: [PATCH] cosmetic

---
 bash/src/base.path.sh | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/bash/src/base.path.sh b/bash/src/base.path.sh
index 4c0dc2b..8df86b6 100644
--- a/bash/src/base.path.sh
+++ b/bash/src/base.path.sh
@@ -248,15 +248,18 @@ function ppath() {
     echo "$path"
 }
 function ppath2() {
-# Comme ppath() mais afficher '.' comme '../$dirname'
+# Comme ppath() mais afficher '.' comme '. ($dirname)' pour la joliesse
     local path="$1" cwd="$2"
 
     path="$(abspath "$path")" # essayer de normaliser le chemin
     [ -n "$cwd" ] || cwd="$(pwd)"
 
-    [ "$path" == "$cwd" ] && path="../$(basename -- "$path")"
-    [ "$cwd" != "/" -a "$cwd" != "$HOME" ] && path="${path#$cwd/}"
-    [ "${path#$HOME/}" != "$path" ] && path="~${path#$HOME}"
+    if [ "$path" == "$cwd" ]; then
+        path=". ($(basename -- "$path"))"
+    else
+        [ "$cwd" != "/" -a "$cwd" != "$HOME" ] && path="${path#$cwd/}"
+        [ "${path#$HOME/}" != "$path" ] && path="~${path#$HOME}"
+    fi
 
     echo "$path"
 }