How to use this box with Vagrant:

Vagrant.configure("2") do |config|
  config.vm.box = "ber246/gatech-gios-cs-6200"
  config.vm.box_version = "202301.27.0-w-code-server"
end
vagrant init ber246/gatech-gios-cs-6200 \
  --box-version 202301.27.0-w-code-server
vagrant up

This version was created 4 months ago.

Official GIOS CS 6200 Image Extended w/ VSCode Server. Updated Version also includes CMake and Google Tests for Testing purposes.

2 providers for this version.
  • virtualbox Hosted by Vagrant Cloud (1.72 GB)

  • vmware_desktop Hosted by Vagrant Cloud (2.46 GB)