Was will man eigentlich als hardware-token für ssh-auth benutzen? Habs mit yubikey versucht, aber das ist irgendwie goldener analkrebs, weil verwaltung und benutzung broken sind... irgendwelche tipps?