I'm not sure if this has a practical application at all (aside from the fact that I am lazy. you know "christopher" has 11 characters, and I want to type 1), but is it possible to alias a username on Linux? (So I could, for example, ssh c@my.domain.top
as opposed to ssh christopher@my.domain.top
.)
I currently use Ubuntu as my primary machine, but if it is possible in any of the distro's, I'd like to know.
ssh
command, or do you want this more generally?