Quality-of-life patches for Pi session IDs.
Pi's default session IDs are long random tokens. After a while you accumulate dozens of session files and can't recall which is which. This repo gives them short readable handles you can pass on the command line.
- 12-character base64url session IDs for every new Pi session (e.g.
tXz7p_Q9Kw3a) instead of long UUIDs. - Bare
--session <id>resolution:pi --session tXz7p_Q9Kw3afinds the right session file via~/.pi-sessions/<id>.jsonlaliases — no need to pass a full path.
| Patch | File | What |
|---|---|---|
| 034-035 | session-manager.js |
Generate 12-character base64url IDs for new Pi sessions |
| 036-037 | main.js |
Resolve bare --session <id> arguments through ~/.pi-sessions/<id>.jsonl aliases |
These patches are consumed by the pi-patches repo via its sources.json. Install via:
git clone https://github.com/sshkeda/pi-patches
cd pi-patches
bash apply.shMIT