How to split an SSH address + path?
<p>A Python 3 function receives an SSH address like <code>user@132.243.32.14:/random/file/path</code>. I want to access this file with the <code>paramiko</code> lib, which needs the username, IP address, and file path separately.</p>

<p>How can I split this address into these 3 parts, knowing that the input will sometimes omit the username ?</p>

<h1>use</h1>

<p>not set(p).isdisjoint(set("0123456789$,")) where p is the SSH.</p>

python python-3.x parsing ssh ip-address