Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Rebischke <Chris.Rebischke@posteo.de>2017-07-05 19:18:58 +0200
committerChristian Rebischke <Chris.Rebischke@posteo.de>2017-07-05 19:18:58 +0200
commitffe59f1d4be3b285ed619932677fc891c3bbecbf (patch)
tree6feb30518e22b1128322d855e654f056ae85a67a
parent0c7e69dbdce16cb8d992b8d54f0766e3fac5c973 (diff)
added headless
-rw-r--r--vagrant.json2
1 files changed, 2 insertions, 0 deletions
diff --git a/vagrant.json b/vagrant.json
index e8891d6..e53de04 100644
--- a/vagrant.json
+++ b/vagrant.json
@@ -24,6 +24,7 @@
"ssh_wait_timeout": "10000s",
"shutdown_command": "sudo systemctl poweroff",
"guest_additions_mode": "disable",
+ "headless": "{{user `headless`}}",
"vboxmanage": [
[
"modifyvm",
@@ -56,6 +57,7 @@
"ssh_port": 22,
"ssh_wait_timeout": "10000s",
"shutdown_command": "sudo systemctl poweroff",
+ "headless": "{{user `headless`}}",
"qemuargs": [
[
"-m",