# Need to include -L to follow redirects as this returns 301
curl -L https://sh.distant.dev | sh

# Can also use wget to the same result
wget -q -O- https://sh.distant.dev | sh

# Start a manager in the background
distant manager listen --daemon

# SSH into a server, start distant, and connect to the distant server
distant launch ssh://example.com

# Read the current working directory
distant fs read .

# Start a shell on the remote machine
distant shell