this post was submitted on 13 Nov 2023
17 points (79.3% liked)

Python

6288 readers
5 users here now

Welcome to the Python community on the programming.dev Lemmy instance!

๐Ÿ“… Events

PastNovember 2023

October 2023

July 2023

August 2023

September 2023

๐Ÿ Python project:
๐Ÿ’“ Python Community:
โœจ Python Ecosystem:
๐ŸŒŒ Fediverse
Communities
Projects
Feeds

founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[โ€“] [email protected] 1 points 11 months ago (3 children)

Then any time you run ssh myserver.net, it'll use the user you specify here by default.

Wouldnt really help in my use case bc I use the same user on every server

[โ€“] [email protected] 7 points 11 months ago (1 children)

It was just an example. What does your script do that wouldn't be configurable in ssh config

[โ€“] [email protected] 1 points 11 months ago* (last edited 11 months ago)

not much, probably. Ill add some features in the future tho

[โ€“] __init__ 2 points 11 months ago

The โ€œhostโ€ is just your friendly name for the connection, not necessarily the hostname of the remote host. You can specify the same username or hostname as many times as you want. My config is made up of mostly blocks like this:

Host server1
    HostName server1.you.com
    User your_ssh_username
    IdentityFile ~/.ssh/yourprivatekey.pem
  
Host server2
    HostName server2.you.com
    User your_ssh_username
    IdentityFile ~/.ssh/yourprivatekey.pem