From 41ee3e0f7f9829e4110e9fe6d5317ed0501f7450 Mon Sep 17 00:00:00 2001 From: kwadronaut Date: Thu, 31 Dec 2015 15:28:28 +0100 Subject: add @vagrant_basebox documentation for platform --- pages/docs/platform/guide/config.md | 1 + 1 file changed, 1 insertion(+) (limited to 'pages') diff --git a/pages/docs/platform/guide/config.md b/pages/docs/platform/guide/config.md index 8a8e580..b5a1eed 100644 --- a/pages/docs/platform/guide/config.md +++ b/pages/docs/platform/guide/config.md @@ -83,6 +83,7 @@ Vagrant options: * `@vagrant_network`. Allows you to override the default network used for local nodes. It should include a netmask like `@vagrant_network = '10.0.0.0/24'`. * `@custom_vagrant_vm_line`. Insert arbitrary text into the auto-generated Vagrantfile. For example, `@custom_vagrant_vm_line = "config.vm.boot_mode = :gui"`. +* `@vagrant_basebox` allows specifying a different basebox as the default one. Of example, `@vagrant_basebox = "LEAP/wheezy"` Logging options: -- cgit v1.2.3