bug fix (Mon Jan 30 19:46:27 CST 2023)

This commit is contained in:
xiongdian.me 2023-01-30 19:46:27 +08:00
parent a0cfc6e4d4
commit 92914027fb
2 changed files with 2 additions and 1 deletions

View File

@ -67,7 +67,7 @@ all()
touch $agent_file
chmod 600 $agent_file
fi
if ! ps -p "$SSH_AGENT_PID" > /dev/null; then
if ! ps -p "$SSH_AGENT_PID" 1>/dev/null 2>&1; then
kill_agent
fmt_note "launching a new agent"
create_agent | tee $agent_file

View File

@ -35,6 +35,7 @@ test $(DFS_QUIET=1 tools/common.sh ask_for_Yn "test") = "1"
alias p114
which riot
sagent
test -f "/tmp/piv-agent-$(whoami)"
gbes || which gbes
# check update