From 2d69c702522a1dbcb467a0e9ec7c6e75dbda0291 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <karel.koci@nic.cz>
Date: Tue, 19 Sep 2017 13:11:12 +0200
Subject: Fix usbkey

---
 local/bin/usbkey | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'local/bin')

diff --git a/local/bin/usbkey b/local/bin/usbkey
index 85eff7f..d72c52b 100755
--- a/local/bin/usbkey
+++ b/local/bin/usbkey
@@ -88,7 +88,7 @@ op_gpg_import() {
 	true
 }
 
-ssh_list() {
+op_ssh_list() {
 	check_mount || op_mount
 	for KEY in $(find "$MOUNT_PATH/ssh" -name '*.pub'); do
 		local N="${KEY#$MOUNT_PATH/ssh/}"
-- 
cgit v1.2.3