home tags events about rss login

Things happen.

gonzalo honked 23 Mar 2026 17:05 +0100

How I lived without this all these years:

set -A complete_ssh -- $(grep -i '^Host ' ~/.ssh/config 2>/dev/null \
    | awk '{for(i=2;i<=NF;i++) if($i !~ /[*?]/) print $i}')