From fac3242f9f2aa0657d354df097934cec0ed398c9 Mon Sep 17 00:00:00 2001
From: Anton Khirnov <anton@khirnov.net>
Date: Wed, 23 Jun 2021 13:31:17 +0200
Subject: bin: add ssh_sk_clean

Installed in the desktop profile.
---
 bin/ssh_sk_clean  | 6 ++++++
 desktop.conf.yaml | 1 +
 2 files changed, 7 insertions(+)
 create mode 100755 bin/ssh_sk_clean

diff --git a/bin/ssh_sk_clean b/bin/ssh_sk_clean
new file mode 100755
index 0000000..1f32658
--- /dev/null
+++ b/bin/ssh_sk_clean
@@ -0,0 +1,6 @@
+#!/bin/sh
+# remove all FIDO keys from the SSH agent
+fido_keys=$(ssh-add -L|grep '^sk-')
+if [ -n "${fido_keys}" ]; then
+    echo "${fido_keys}" | ssh-add -d /dev/stdin
+fi
diff --git a/desktop.conf.yaml b/desktop.conf.yaml
index a1b9f1b..0e869b4 100644
--- a/desktop.conf.yaml
+++ b/desktop.conf.yaml
@@ -4,6 +4,7 @@
 
 - link:
     ~/.config/mpv/config: dotfiles/mpv
+    ~/.local/bin/ssh_sk_clean:  bin/ssh_sk_clean
     ~/.urxvt/ext/reselect: urxvt/reselect/reselect
     ~/.xscreensaver: dotfiles/xscreensaver
     ~/.Xresources: dotfiles/Xresources
-- 
cgit v1.2.3