On 6/2/2016 4:42 PM, David G. Johnston wrote:>> ssh user(at)hostname ?
^ ++
-- john r pierce, recycling bits in santa cruz