1.3 KiB
1.3 KiB
name, description
| name | description |
|---|---|
| pi-ssh-access | Remembers and documents how to SSH into the Raspberry Pi (192.168.68.126) as adolforeyna with the current ed25519 key. Use when the user asks for the connection details so Bro can log in from another machine or confirm passwordless access setup. |
Raspberry Pi SSH Access
Key facts Codex should keep handy
- Host:
192.168.68.126(Pi on the local LAN) - Username:
adolforeyna - Default port:
22(standard SSH) - Public key path (local):
~/.ssh/id_ed25519.pub - Private key path (local):
~/.ssh/id_ed25519 - SSH key comment:
adolforeyna@Mac-mini-M4.local - Known hosts entry: Added via
ssh-keyscan -H 192.168.68.126
Steps for Bro to reconnect
- Ensure the Pi is online and reachable at
192.168.68.126. - Use the generated key automatically:
ssh adolforeyna@192.168.68.126(no password required). - If a host key error resurfaces, rerun
ssh-keyscan -H 192.168.68.126 >> ~/.ssh/known_hostsand reconnect. - When the user requests, copy the public key again with
ssh-copy-id -i ~/.ssh/id_ed25519.pub adolforeyna@192.168.68.126.
Reminder for maintenance
- If the key ever changes or is rotated, update this skill and regenerate both
id_ed25519andid_ed25519.pubas needed. - Keep this skill synced with
tools/sshnotes if you ever keep a separate reference file.