Joined July 2011
·

David Precious

Development Manager at UK2 Group
·
Stevenage, Herts, UK
·
·
·

Posted to SSH alias over 1 year ago

You can also use wildcards, conveniently - for instance, if you have a different username at work:


Host *.work.com
User dave
</pre>

Seconding ack - it does things like this that you'd just want without having to be told about it. Ack is far nicer to use than grep, IMO.

Achievements
100 Karma
0 Total ProTip Views