Merge branch 'pr/bump' into 'master'

Justfile: rename yubikey -> gpg-card

See merge request steveeJ/infra!20
This commit is contained in:
steveej 2019-09-06 10:40:17 +00:00
commit f186f5d008

View file

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