08632bb1780d51f6748b5c09ef5232862313f78f

Author
fjcapdevila <fjcapdevila@gmail.com>
Committer
ncanceill <nicolas.canceill@ens-cachan.org>
Date

Message

Basic support for Docker related commands.

Add basic support for Docker related commands.

Diff

 1diff --git a/plugins/vagrant/_vagrant b/plugins/vagrant/_vagrant
 2index e05b16f81ea1795afd639e94c0dddea558d3e5bf..9ddfa1be72c964eae113df938323da32383b959a 100644
 3--- a/plugins/vagrant/_vagrant
 4+++ b/plugins/vagrant/_vagrant
 5@@ -8,6 +8,8 @@ _1st_arguments=(
 6     'box:Box commands'
 7     'connect:Connects to a shared, remote Vagrant environment'
 8     'destroy:Destroys the vagrant environment'
 9+    'docker-logs:Shows Docker logs'
10+    'docker-run:Run one-off commands against a Docker container'
11     'global-status:Reports the status of all active Vagrant environments on the system'
12     'halt:Halts the currently running vagrant environment'
13     'init:[box_name] [box_url] Initializes current folder for Vagrant usage'