ober/jerboa-shell-extras
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

Fix SSH config proxy handling in extras #22

Merged
ober merged 3 commits from fix-ssh-config-proxy into main 2026-08-11 14:40:29 -04:00
Conversation 0 Commits 3 Files changed 13 +69 -34
ober commented 2026-08-11 13:36:34 -04:00
Owner
Copy link

Summary

  • pass unresolved user/port through jsh ,ssh/,scp so jerboa-ssh can apply OpenSSH config
  • expose ssh-config-resolve through the static SSH registry for display and diagnostics
  • include jerboa-ssh config/proxy artifacts and symbols in static/cross build paths
  • bump VERSION and package manifest to 0.4.6

Verification

  • make binary
  • make test FFI_EMBED_CRYPTO_LIB= FFI_EMBED_CRYPTO_CFLAGS=-DJSH_FFI_DYNAMIC_STUB_EMBED
  • ./jsh-macos -c 'echo smoke-ok'
  • ./jsh-macos -i -c 'ssh -V'
  • ./jsh-macos -i -c ',ssh-list'
## Summary - pass unresolved user/port through jsh ,ssh/,scp so jerboa-ssh can apply OpenSSH config - expose ssh-config-resolve through the static SSH registry for display and diagnostics - include jerboa-ssh config/proxy artifacts and symbols in static/cross build paths - bump VERSION and package manifest to 0.4.6 ## Verification - make binary - make test FFI_EMBED_CRYPTO_LIB= FFI_EMBED_CRYPTO_CFLAGS=-DJSH_FFI_DYNAMIC_STUB_EMBED - ./jsh-macos -c 'echo smoke-ok' - ./jsh-macos -i -c 'ssh -V' - ./jsh-macos -i -c ',ssh-list'
Fix SSH config proxy handling in extras
Some checks failed
version-policy / required (pull_request) Successful in 3s
Details
required-ci / required (pull_request) Failing after 15m34s
Details
6221a03c89
Fix FreeBSD SSH proxy symbol staging
Some checks failed
version-policy / required (pull_request) Successful in 6s
Details
required-ci / required (pull_request) Failing after 17m6s
Details
89f4020e91
Register getenv in static generated mains
All checks were successful
version-policy / required (pull_request) Successful in 4s
Details
required-ci / required (pull_request) Successful in 16m16s
Details
f060063825
ober scheduled this pull request to auto merge when all checks succeed 2026-08-11 14:40:07 -04:00
ober merged commit 3f2a6430ca into main 2026-08-11 14:40:29 -04:00
ober referenced this pull request from a commit 2026-08-11 14:40:30 -04:00
Merge pull request #22
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
ober/jerboa-shell-extras!22
No description provided.