From 1d11c8d26b289ca1c900255df6c49f38767c78cf Mon Sep 17 00:00:00 2001
From: Hugues Hiegel <hugues@hiegel.fr>
Date: Fri, 30 Jan 2009 11:25:25 +0100
Subject: [PROMPT] better managment of agents if they have been killed

---
 12_Prompts.zsh | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/12_Prompts.zsh b/12_Prompts.zsh
index 88bdef8..123211a 100644
--- a/12_Prompts.zsh
+++ b/12_Prompts.zsh
@@ -95,13 +95,19 @@ update_prompt()
 
 	# GPG/SSH agents
 	AGENTS=""
-	if [ "$SSH_AGENT_PID" -gt 0 -a "`strings /proc/$SSH_AGENT_PID/cmdline | head -n1`" = "ssh-agent" ]
+	if [ "$SSH_AGENT_PID" -gt 0 -a -e /proc/$SSH_AGENT_PID/cmdline ]
 	then
-		AGENTS=$SEPARATOR$C_$prompt_colors[agents]$_C"★"
+		[ "`strings /proc/$SSH_AGENT_PID/cmdline | head -n1`" = "ssh-agent" ] && \
+			AGENTS=$SEPARATOR$C_$prompt_colors[agents]$_C"★"
 	fi
-	if [ "$GPG_AGENT_INFO" != "" -a "`strings /proc/$(echo $GPG_AGENT_INFO | cut -d: -f2)/cmdline | head -n1`" = "gpg-agent" ]
+	if [ "$GPG_AGENT_INFO" != "" ]
 	then
-		AGENTS=$AGENTS$SEPARATOR$C_$prompt_colors[agents]$_C"☆"
+		GPG_AGENT_PID="$(echo $GPG_AGENT_INFO | cut -d: -f2)"
+		if [ -e /proc/$GPG_AGENT_PID/cmdline ]
+		then
+			[ "`strings /proc/$GPG_AGENT_PID/cmdline | head -n1`" = "gpg-agent" ] && \
+				AGENTS=$AGENTS$SEPARATOR$C_$prompt_colors[agents]$_C"☆"
+		fi
 	fi
 	AGENTSSIZE=$(expand_text $AGENTS)
 	AGENTSSIZE=$#AGENTSSIZE
-- 
cgit v1.2.3