From 0a5fb52a636f37f5e0c11e08a59d26f941feb626 Mon Sep 17 00:00:00 2001
From: Stefan Junker <mail@stefanjunker.de>
Date: Fri, 6 Sep 2019 12:39:24 +0200
Subject: [PATCH] Justfile: rename yubikey -> gpg-card

---
 Justfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Justfile b/Justfile
index fea5551..2165342 100755
--- a/Justfile
+++ b/Justfile
@@ -246,8 +246,8 @@ run-with-channels +cmds:
 	source $(just -v _get_nix_path {{invocation_directory()}}/nix/variables/versions.nix)
 	{{cmds}}
 
-# Switch between yubikeys which have a copy of the same key
-switch-yubikey:
+# Switch between gpg-card capable devices which have a copy of the same key
+switch-gpg-card:
 	#!/usr/bin/env bash
 	#
 	# Derived from https://github.com/drduh/YubiKey-Guide/issues/19.