It’s been a bit quiet around here lately, but that’s because I’ve been moving this site and some others to some new hosting. Thing are all just about sorted now, but I’m still polishing the rough edges. I’ve just about got all the existing sites moved onto this new server, but there’s still plenty to do.
Host nickname Â HostName someserver.somelocation.somewhere.com Â Port 1234
means that I only have to
ssh nickname and I’m there.