Skip to content
ScottyLabs Docs

Create a User Entry

To create a user entry, add a new attribute to the users set in users.nix. The attribute name should be your Andrew ID. Each user entry should include the following fields:

  • git.name: Your full name for Git commits.
  • git.email: Your email address for Git commits.
  • sshPublicKey: Your SSH public key.

Getting Your SSH Public Key

If you don’t have an SSH key, generate one:

Terminal window
ssh-keygen -t ed25519 -C "your@email.com"

Then copy your public key:

Terminal window
cat ~/.ssh/id_ed25519.pub

Copy the output and add it to the sshPublicKey field in your user entry. Make sure to add it as a signing key on Codeberg (and optionally GitHub) so commits show as Verified.