home: cleanup unused sharedbin

This commit is contained in:
Jez Cope 2021-07-25 20:59:14 +01:00
parent 92b7fa85d2
commit e43043b25b
2 changed files with 0 additions and 10 deletions

View File

@ -120,7 +120,6 @@ in {
home.file = {
".xprofile".source = ./dotfiles/xprofile;
".Rprofile".source = ./dotfiles/Rprofile;
"bin/shared".source = ./dotfiles/sharedbin;
".terminfo/x/xterm-kitty" = {
source = pkgs.kitty + /lib/kitty/terminfo/x/xterm-kitty;

View File

@ -1,9 +0,0 @@
#!/usr/bin/env zsh
keygrips=(24AA22419E75635219F844DEC275B4916FD5EFD8 5B90C11D639432D229FF8CBEAD80FA4040153C89 86016D70000B1A6908656866A5AB1DAE5204EF77)
for grip in $keygrips; do
rm ~/.gnupg/private-keys-v1.d/${grip}.key
done
gpg --card-status|grep card-no|head -1|cut -c 35-