From b81372c07a6293b0970d2c8085c2501985b4d338 Mon Sep 17 00:00:00 2001
From: Kris Lamoureux <kris@lamoureux.io>
Date: Wed, 30 Aug 2023 19:45:42 -0400
Subject: [PATCH] Fix the Vagrantfile for Github runners

---
 Vagrantfile     | 8 ++------
 dev/default.yml | 4 ++++
 2 files changed, 6 insertions(+), 6 deletions(-)
 create mode 100644 dev/default.yml

diff --git a/Vagrantfile b/Vagrantfile
index ebe5693..20d1880 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -16,13 +16,9 @@ SSH_FORWARD  = settings['SSH_FORWARD']  || false
 
 # Default to shell environment variable: PLAYBOOK (priority #1)
 PLAYBOOK=ENV["PLAYBOOK"]
-if !PLAYBOOK
+if !PLAYBOOK || PLAYBOOK.empty?
   # PLAYBOOK setting in .vagrant.yml (priority #2)
-  PLAYBOOK = settings['PLAYBOOK'] || false
-  if !PLAYBOOK || PLAYBOOK.empty?
-    puts "[VAGRANTFILE ERROR]: Set PLAYBOOK setting in .vagrant.yml"
-    abort
-  end
+  PLAYBOOK = settings['PLAYBOOK'] || 'default'
 end
 
 Vagrant.configure("2") do |config|
diff --git a/dev/default.yml b/dev/default.yml
new file mode 100644
index 0000000..124f94b
--- /dev/null
+++ b/dev/default.yml
@@ -0,0 +1,4 @@
+- name: Install 'default' aka nothing
+  hosts: all
+  become: true
+  tasks: []