Как насчет только grep,
grep -Eoi "[a-z/]{1,}" <<< "<user>@<server>:<port>:/foo/bar" user Server port /foo/bar