Dacă lucrați cu SSH probabil v-ați săturat să tastați username-ul și domeniul complet al serverul vostru. De exemplu:
ssh root@vai.ce.domeniu.lung.ro
Mai grav, dacă vă conectați la servere care nu cer parolă (pe bază de key publice), s-ar putea ca la un moment dat să ajungeți să aveți mai multe key (eu de exemplu am un set de key pentru serverele personale, și altele pentru serverele de lucru). Ca să te conectezi la ssh folosind alte key decât cele default ar presupune să tastezi cam așa
ssh root@vai.ce.domeniu.lung.ro -i /path/to/key
Destul de enervat. Așa că m-am pus pe scormonit interneții, și am descoperit ssh config file. Pentru leneși ca mine, este soluția ideală care face mult mai multe decât în doream (inițial speram doar să scap de faza cu specificatul key-lor pe care vreau să le folosesc). Așa că dacă pui codul de mai jos în fișierul ~/.ssh/config (va trebui să-l creați cel mai probabil):
Host vai
HostName vai.ce.domeniu.lung.ro
IdentityFile /path/to/key
User root
După ce setezi astea, ca să mă conectez la SSH nu trebuie să fac nimic altceva decât
ssh vai
Cu alte cuvinte: nu mai tastez domeniu complet, nu mai tastez username-ul și nu mai specific locația alternativă key-lor.
Timp efectiv de muncă 1 minut: creezi fișierul, modifici un copy-paste luat de pe internet și să mai sorbi o gură de bere (cu grijă să n-o verși pe tastatură).