From 5eaf69bbd677af5e48f226b76d4708086d8f0cee Mon Sep 17 00:00:00 2001
From: maknee <henryzhu@seas.upenn.edu>
Date: Sun, 15 May 2022 15:20:27 -0400
Subject: [PATCH] Updated vagrant file to include password when logging into
 root and added recv-keys to install dependencies in 'install-deps.sh'

---
 Vagrantfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile
index 2e62557..fd1133e 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -67,7 +67,7 @@ Vagrant.configure("2") do |config|
     # there's no sensitive data, so I don't think the security concerns are
     # significant.)
     echo -e "\e[96m""Configuring cplayground database...""\e[0m"
-    sudo mysql -u root -e "
+    sudo mysql -u root --password=root -e "
       CREATE USER 'cplayground'@'localhost'
       IDENTIFIED WITH mysql_native_password BY 'cplayground';
       CREATE DATABASE cplayground;
@@ -81,6 +81,7 @@ Vagrant.configure("2") do |config|
   # Set up dependencies
   config.vm.provision "shell", inline: <<-SHELL
     cd /cplayground
+    sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 467B942D3A79BD29
     sudo -Hu vagrant ./install-deps.sh
   SHELL