-
Notifications
You must be signed in to change notification settings - Fork 8k
Closed
Labels
enhancementa request to improve CLIa request to improve CLI
Description
From #4486 (comment):
One option here would be to have a command, say gh cs ssh --config, simply emit a hunk of ssh_config syntax to stdout. Users could directly incorporate this into their ~/.ssh/config, or save it in a separate file (overwriting it with updated information when necessary), and pull that into their main ~/.ssh/config with an include directive.
Something like:host znull-github-github-p79g6r727w7p user root hostname localhost port 23456 NoHostAuthenticationForLocalhost yeswith a host stanza for each codespace. With this setup, other ssh integrations would just work. Shell tab-complete for ssh hosts would pick this up, for example. scp would just work. Git ssh remotes could be configured for the codespace as well.
There are many ways one could approach the underlying problem; we shouldn't overanchor on the one proposed here.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
enhancementa request to improve CLIa request to improve CLI