search

stephenh / mirror

A tool for real-time, two-way sync for remote (e.g. desktop/laptop) development
Apache License 2.0
391 stars 37 forks source link

read the host name from ~/.ssh/config #38

Closed nathantsoi closed 5 years ago

nathantsoi commented 5 years ago

I have ssh configured w/ short names / alias to most of my hosts. It would be awesome if mirror read this config and used these short names to resolve the full name of the host. On the plus side, my ssh config seems to work fine otherwise.

stephenh commented 5 years ago

Cool. FWIW I do something similar but via /etc/hosts entries, so then the OS's networking stack just automatically knows how to resolve the names (i.e. then both mirror and ssh itself would pick up the aliases). Would that work/be good enough?

nathantsoi commented 5 years ago

Ahh, nice. Yep! I'll add an alias in my hosts file. Nathan

On Wed, Jul 17, 2019 at 7:28 PM Stephen Haberman notifications@github.com wrote:

Cool. FWIW I do something similar but via /etc/hosts entries, so then the OS's networking stack just automatically knows how to resolve the names (i.e. then both mirror and ssh itself would pick up the aliases). Would that work/be good enough?

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/stephenh/mirror/issues/38?email_source=notifications&email_token=AADBTGRVBIRPNTPWRV722I3P76TJ5A5CNFSM4IECHAL2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD2G34TA#issuecomment-512605772, or mute the thread https://github.com/notifications/unsubscribe-auth/AADBTGRMO4LVLU6RVWMUPU3P76TJ5ANCNFSM4IECHALQ .