# bash logout file

# Kill the  D-Bus session daemon
if [[ -n "$DBUS_SESSION_BUS_PID" ]] ; then
    kill $DBUS_SESSION_BUS_PID
fi

if [[ -n "$PULSE_PID" ]] ; then
    kill $PULSE_PID
    pkill pulseaudio
fi

if [[ -n "$SSH_AGENT_PID" ]] ; then
    kill $SSH_AGENT_PID
    pkill gpg-agent
fi