From 240e5696b715277927842788801ff1e05bcd1c2b Mon Sep 17 00:00:00 2001
From: Thomas Waldmann <tw@waldmann-edv.de>
Date: Sun, 1 May 2016 20:18:17 +0200
Subject: [PATCH] fix vagrant ssh syntax, fixes #999

---
 docs/development.rst | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/docs/development.rst b/docs/development.rst
index 524957e01..7d6323dce 100644
--- a/docs/development.rst
+++ b/docs/development.rst
@@ -122,7 +122,9 @@ Usage::
    # To create and provision the VM:
    vagrant up OS
    # To create an ssh session to the VM:
-   vagrant ssh OS command
+   vagrant ssh OS
+   # To execute a command via ssh in the VM:
+   vagrant ssh OS -c "command args"
    # To shut down the VM:
    vagrant halt OS
    # To shut down and destroy the VM: