### -*-sh-*- allow_port_forwarding=yes cmd=/bin/false make_key_line () { user=$1 addrs=$(echo "$user" | sed "y/%,/: /") line="" for a in $addrs; do line="${line:+$line,}permitopen=\"$a\""; done echo "$line" }