Skip to content

fix: don't set ssh user by default#383

Open
claraphyll wants to merge 1 commit into
serokell:masterfrom
claraphyll:no-ssh-user
Open

fix: don't set ssh user by default#383
claraphyll wants to merge 1 commit into
serokell:masterfrom
claraphyll:no-ssh-user

Conversation

@claraphyll

Copy link
Copy Markdown

Fixes #208

@claraphyll

claraphyll commented Jun 23, 2026

Copy link
Copy Markdown
Author

I am uncertain if the "sudo if username != ssh_user" mechanism works with this correctly. e. g. if you set "root" in ssh config then it will still sudo. I don't think that's really a problem, but maybe an explicit useSudo option could be added. It seems preferable to having to find out the SSH user configured in ~/.ssh/config somehow

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.

Default SSH user should not be taken from current username

1 participant