[F] Find actual editor name by tracing symlinks

2023-08-14 20:56:27 -07:00
parent 242eae6de0
commit 14bde2e49b
1 changed files with 6 additions and 0 deletions
@@ -2278,6 +2278,12 @@ get_editor() {
    # in case neither is set just return
    [[ -z "$editor_full_path" ]] && return

+    # Actually obtain the full path
+    editor_full_path="$(which "${editor_full_path}" 2>/dev/null)"
+
+    # Resolve symlink and get the original name
+    [[ -L "$editor_full_path" ]] && editor_full_path="$(readlink -f "$editor_full_path")"
+
    case $editor_path in
        on)  editor="${editor_full_path} " ;;
        off) editor="${editor_full_path##*/} " ;;