let header = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAI"; in { lp1.user = header + "DIRyj2UXX2kmlx2zyzs0iW5LUt5oZCT/p5oJUXPvJNW"; lp2.user = header + "Emm0kmLocunk26a4j0TnYt6V2iyaBL9ctJJmp2lY8W9"; }