#!/bin/sh## This file is executed at plasma shutdown.# Uncomment the following lines to kill the agents# that were started at session startup.#if [ -n "${GPG_AGENT_INFO}" ]; then# kill $(echo ${GPG_AGENT_INFO} | cut -d':' -f 2) >/dev/null 2>&1#fi#if [ -n "${SSH_AGENT_PID}" ]; then# eval "$(ssh-agent -s -k)"#fi