From 0ff590d5c63a45fa631afae4de068fb0e43aad45 Mon Sep 17 00:00:00 2001 From: William Allen <16820599+williamjallen@users.noreply.github.com> Date: Thu, 1 Aug 2024 15:13:30 -0400 Subject: [PATCH] [Feature:Developer] Share DockerImages repo with dev VM (#10815) ### What is the current behavior? It is currently difficult to test changes to Submitty docker images because the `DockerImages` and `DockerImagesRPI` repositories are not shared with the development VM if they are cloned locally. ### What is the new behavior? This PR shares the `DockerImages` and `DockerImagesRPI` repositories with the development VM to make it easier to test changes to new images. --- Vagrantfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Vagrantfile b/Vagrantfile index 7c9f6bfc6bd..37ac6d3942e 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -89,7 +89,7 @@ def mount_folders(config, mount_options, type = nil) group = 'vagrant' config.vm.synced_folder '.', '/usr/local/submitty/GIT_CHECKOUT/Submitty', create: true, owner: owner, group: group, mount_options: mount_options, smb_host: '10.0.2.2', smb_username: `whoami`.chomp, type: type - optional_repos = %w(AnalysisTools AnalysisToolsTS Lichen RainbowGrades Tutorial CrashCourseCPPSyntax LichenTestData) + optional_repos = %w(AnalysisTools AnalysisToolsTS Lichen RainbowGrades Tutorial CrashCourseCPPSyntax LichenTestData DockerImages DockerImagesRPI) optional_repos.each {|repo| repo_path = File.expand_path("../" + repo) if File.directory?(repo_path)