Skip to content

xrsh: add shell demo#1118

Merged
eljamm merged 3 commits into
ngi-nix:mainfrom
themadbit:xrsh
Jun 12, 2025
Merged

xrsh: add shell demo#1118
eljamm merged 3 commits into
ngi-nix:mainfrom
themadbit:xrsh

Conversation

@themadbit
Copy link
Copy Markdown
Contributor

@themadbit themadbit commented Jun 10, 2025

closes: #1111

nit-change: replaces hard-coded port with a modular variable XRSH_PORT

concerns:

image

@fricklerhandwerk
Copy link
Copy Markdown
Contributor

Ahh good, these developments show that we need to refine our data model a bit. For instance we could have an extra field just for exactly one demo; that would nudge us to deliberately choose the intended experience for each application.

environment.variables = {
XRSH_PORT = toString cfg.port;
};
demo-shell.xrsh = {
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Also it would be cleaner if we had a separate demo field that would imports the relevant modules, then demo implementation details wouldn't leak into production code.

@themadbit themadbit force-pushed the xrsh branch 2 times, most recently from 83435c5 to df61fea Compare June 11, 2025 11:20
Copy link
Copy Markdown
Contributor

@eljamm eljamm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good!

@eljamm eljamm merged commit 08225b3 into ngi-nix:main Jun 12, 2025
14 checks passed
@github-project-automation github-project-automation Bot moved this to Done in Nix@NGI Jun 12, 2025
@themadbit themadbit deleted the xrsh branch June 20, 2025 08:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

Implement xrsh shell demo

3 participants