From 05762b03705bf393f8ce0e53487b558d1d71af9d Mon Sep 17 00:00:00 2001
From: david <david@socialnerds.org>
Date: Fri, 28 Oct 2016 13:45:11 +0200
Subject: [PATCH] pushzshconfig 28.10.2016 13:45

---
 plugins/david.zsh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/david.zsh b/plugins/david.zsh
index 8c65bde..12abdf3 100644
--- a/plugins/david.zsh
+++ b/plugins/david.zsh
@@ -58,7 +58,7 @@ rdp()
     else
 	which xfreerdp >/dev/null
         if [ $? -eq 0 ]; then
-	    xfreerdp /v:$server /u:$username /d:$domain /size:1920x1080
+	    xfreerdp +clipboard /v:$server /u:$username /d:$domain /size:1920x1080
         else
 	    echo "error: no rdp client found"
 	    exit 1