Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add server-user and server-ssh-port options to join command #80

Merged
merged 1 commit into from Nov 4, 2019
Merged

Add server-user and server-ssh-port options to join command #80

merged 1 commit into from Nov 4, 2019

Commits on Nov 3, 2019

  1. Add server-user and server-ssh-port options to join command 

    It often happens that the server and agents do not share the
same configuration. The two new options (server-user and
server-ssh-port) allow you to specify the username and the
ssh port of the server to the join command.

Signed-off-by: Simon Castella <castella.simon@gmail.com>
    @simoncas
    simoncas committed Nov 3, 2019
    Configuration menu
    Copy the full SHA
    4d95a92 View commit details
    Browse the repository at this point in the history