#!/bin/bash
exec 2>/dev/null
serv="${1:-pi}"
u=`<~/.ssh/config sed -n "/^Host $serv *$/,/^Host /{/^User /{s/^User //;p;q}}"`
echo ${u:-$USER}