summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorkwadronaut <kwadronaut@leap.se>2015-12-31 15:28:28 +0100
committerkwadronaut <kwadronaut@leap.se>2015-12-31 15:28:28 +0100
commit41ee3e0f7f9829e4110e9fe6d5317ed0501f7450 (patch)
tree09115917d76a5a143148401cb9276c070353a0bd
parent8fbf7f26f9aeff27447bb332ac500f540267416d (diff)
add @vagrant_basebox documentation for platform
-rw-r--r--pages/docs/platform/guide/config.md1
1 files changed, 1 insertions, 0 deletions
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: