diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-04-14 15:34:59 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-04-14 15:34:59 -0400 |
| commit | a6167fdc86c7431cf48e32dbf851132a21cf3bd3 (patch) | |
| tree | 968dfe825936798a1bf2e73dab4404d7a80cc833 /Git/Types.hs | |
| parent | 7a1165bc3ac8c9069ed6fd5043227d284dc6b83b (diff) | |
random ssh keys (╯°□°）╯︵ ┻━┻ gnome-keyring
assistant: Work around horrible, terrible, very bad behavior of
gnome-keyring, by not storing special-purpose ssh keys in ~/.ssh/*.pub.
Apparently gnome-keyring apparently will load and indiscriminately use such
keys in some cases, even if they are not using any of the standard ssh key
names. Instead store the keys in ~/.ssh/annex/, which gnome-keyring will
not check.
Note that neither I nor #debian-devel were able to quite reproduce this
problem, but I believe it exists, and that this fixes it. And it certianly
won't hurt anything..
Diffstat (limited to 'Git/Types.hs')
0 files changed, 0 insertions, 0 deletions