Git Product home page Git Product logo

ops-class_vagrant's Introduction

Vagrantfile for ops-class.org

This creates a development environment containing the OS/161 toolchain that you can use to complete the ops-class.org programming assignments. Vagrant is a good option for Mac and Windows users. If you already have Ubuntu installed, you can add our PPA and install the toolchain natively using apt-get.

Installation

  1. (On Windows) Download Git for Windows. This includes a bash shell which you should use in liue of the terrible Windows shell.

  2. (Required) If you already have VirtualBox installed, upgrade to the latest version.

  3. (Required) Install Vagrant

  4. (Optional) Install two Vagrant plugins:

    1. vagrant plugin install vagrant-vbguest. This ensure that your VirtualBox Guest Additions are up to date.

    2. vagrant plugin install vagrant-timezone. This synchronizes time between your VM guest and host.

Usage and Configuration

Then just vagrant up. The default user and hostname is trinity@zion. The OS/161 toolchain is installed from the OS/161 toolchain PPA. Git is also preinstalled.

The default machine configuration is fairly lightweight: you may want to beef it up a bit. Or not. sys161 is pretty lightweight itself.

Finally, this Git repository is set up to ignore everything by default, to support a common case where students place their source directory alongside the Vagrantfile. The src subdirectory of this directory is shared with the virtual machine by default, mounted in the VM as /home/trinity/src.

Known Problems and Workarounds for Windows

Missing MSVCR100.dll

If your vagrant up failed with empty error message like:

GitHub mascot

It’s probably because your Windows OS is missing the MSVCR100.dll file.

Solution:

  1. Download MSVCR100.dll from http://fix4dll.com/msvcr100_dll based on your OS.

  2. Copy downloaded MSVCR100.dll to C:\Windows\System32\ or C:\Windows\SysWOW64\ based on your System version 32-bit/64-bit.

SSH Connection Issues in Windows Command Prompt

Symptom: vagrant ssh hangs while connecting.

Solution: Vagrant cannot connect over ssh using Windows Command Prompt. Please use Git Bash or Cygwin instead.

Windows Virtualization Issues

Symptom: vagrant up Hangs While Connecting

Solution:

  1. Make sure virtualization is enabled in your BIOS.

  2. If Hyper-V is enabled, disable it. Vagrant cannot coexist with Hyper-V.

Symptom: ln: failed to create symbolic link …​

Solution: Windows requires users to have special privileges for creating symbolic links. Follow instructions listed here.

ops-class_vagrant's People

Contributors

kmontg avatar gurupras avatar shaseley avatar xcv58 avatar

Watchers

James Cloos avatar  avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.