chore: show host and user in inspector

[dhth]

Checks

• I am happy for maintainers to push small adjustments to this PR, to speed up the review cycle
• I have checked that there are no existing pull requests for the same thing

Changes

Fixes #1578.

Adds two new rows for HOST and USER info in the inspector. Looks like this:

[ellie]

Thank you! Could we process this field please, and display host and user on separate lines?

[dhth]

Thank you! Could we process this field please, and display host and user on separate lines?

Definitely. I've pushed a change for this.

Follow up: if, for whatever reason, History.hostname doesn't follow the pattern HOST:USER, should we show a fallback string in the TUI? Like <COULDNT_DETERMINE> or <UNKNOWN>?

[ellie]

It always does! A fallback like you suggest is fine, but will never be needed unless something else is broken.

The old sync method relied about each install having a unique ID, and we did that by $HOSTNAME:$USER

It's not needed for sync v2, but remains regardless

[dhth]

Gotcha. In that case, I'll leave it to be an empty string :)

[dhth]

Is there something I need to do to fix the two failing Nix tests?

Nevermind.

[ellie]

thank you! 🙏