From 40ef360f3667615f9275ea8be468fe7365195635 Mon Sep 17 00:00:00 2001
From: Milan Oberkirch <_@zvyn.eu>
Date: Mon, 11 Nov 2019 22:28:09 +0100
Subject: [PATCH] Add <username> as remote user

In case local and remote usernames differ the remote username has to be specified in the mosh address.
---
 source/guide_mosh.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/guide_mosh.rst b/source/guide_mosh.rst
index 8d38e4fa..be8e324c 100644
--- a/source/guide_mosh.rst
+++ b/source/guide_mosh.rst
@@ -42,7 +42,7 @@ It's not necessary to configure Mosh as a daemon on your Uberspace.
 
 .. code-block:: bash
  
- [isabell@localhost ~] mosh -p <your_port> <username>.uber.space
+ [isabell@localhost ~] mosh -p <your_port> <username>@<username>.uber.space
  Welcome to Uberspace7!
  [...]
  [isabell@stardust ~]$