Skip to content

Add mosh.org devcontainer feature - #93

Merged
sebst merged 3 commits into
mainfrom
copilot/add-mosh-org-feature
Mar 16, 2026
Merged

sebst merged 3 commits into
mainfrom
copilot/add-mosh-org-feature

Conversation

Copilot AI commented Mar 16, 2026 •

Copy link
Copy Markdown
Contributor

Adds a new community devcontainer feature for mosh (mobile shell), a UDP-based SSH replacement optimized for roaming and high-latency connections.

Changes

  • src/mosh.org/devcontainer-feature.json — Feature definition (name, id, version, docs URL)
  • src/mosh.org/install.sh — Installs mosh via apt-get; GitHub releases for mosh are source-only tarballs, making apt the correct distribution mechanism
  • test/mosh.org/test.sh — Validates install by asserting mosh --version output contains mosh
  • .github/workflows/test.yaml — Adds mosh.org to both test-autogenerated and test-scenarios CI matrices

Usage

"features": {
    "ghcr.io/devcontainer-community/devcontainer-features/mosh.org:1": {}
}
Original prompt

This section details on the original issue you should resolve

<issue_title>Add feature mosh.org</issue_title>
<issue_description>Files:

src/pi.dev/devcontainer-feature.json
src/pi.dev/install.sh (make sure to set executable bit)
test/pi.dev/test.sh
.github/workflows/test.yaml

Releases:

https://github.com/mobile-shell/mosh/releases</issue_description>

Comments on the Issue (you are @copilot in this section)


💬 Send tasks to Copilot coding agent from Slack and Teams to turn conversations into code. Copilot posts an update in your thread when it's finished.

Co-authored-by: sebst <592313+sebst@users.noreply.github.com>
Copilot AI changed the title [WIP] Add feature mosh.org Add mosh.org devcontainer feature Mar 16, 2026
Copilot AI requested a review from sebst March 16, 2026 16:06
@sebst
sebst marked this pull request as ready for review March 16, 2026 16:27
@sebst
sebst merged commit 9abf733 into main Mar 16, 2026
110 of 113 checks passed
@sebst
sebst deleted the copilot/add-mosh-org-feature branch March 16, 2026 16:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add feature mosh.org

2 participants