diff options
| author | elijah <elijah@riseup.net> | 2016-02-16 23:37:54 -0800 |
|---|---|---|
| committer | elijah <elijah@riseup.net> | 2016-02-16 23:37:54 -0800 |
| commit | 4b1996c0b37b6f613417f45584916150cf4f780f (patch) | |
| tree | 47eb42ab8d0d7c1c4f9bcf9ea884a216a3e694d0 /pages/docs/platform/guide | |
| parent | bf9cffc4b56c0ef7d1e8e347071ebe5a85567c9a (diff) | |
cleaned up vagrant notes
Diffstat (limited to 'pages/docs/platform/guide')
| -rw-r--r-- | pages/docs/platform/guide/config.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pages/docs/platform/guide/config.md b/pages/docs/platform/guide/config.md index a62edf3..469dfce 100644 --- a/pages/docs/platform/guide/config.md +++ b/pages/docs/platform/guide/config.md @@ -81,9 +81,10 @@ Platform options: Vagrant options: +* `@vagrant_provider`. Changes the default vagrant provider ("virtualbox"). For example, `@vagrant_provider = "libvirt"`. * `@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. For example, `@vagrant_basebox = "LEAP/wheezy"` +* `@vagrant_basebox` allows specifying a different basebox as the default one. For example, `@vagrant_basebox = "LEAP/wheezy"`. Logging options: |