anchor.diff:  	ready to `vagrant up` your first virtual environment! Please read
   	the comments in the Vagrantfile as well as documentation on
   	`vagrantup.com` for more information on using Vagrant.
  -	YourStudentID@serverXXX:~/vagrant$
  +
  +
  +If you install and run Vagrant locally on your own laptop, you won't need to do this next step.
  +
  +....
  +	YourStudentID@serverXXX:~/vagrant$ nano Vagrantfile
  +....
  +
  +In the nano text editor, scroll down to the line that says:
  +
  + config.vm.box = "precise64"
  +
  +and add the line:
  +
  + config.vm.box_url = "/var/vagrant/boxes/precise64.box"
  +
  +Exit nano, saving the file.
   
   Now, cross your fingers and enter the following command:
   
  
positive.code: Vagrant is already installed on the serverXXX course server, but you need to take a few steps before you can use it.
  Assuming you have .ssh configured and have logged in, you should find yourself in your default directory.
  
  IMPORTANT: In the following instructions when you see *YourStudentID*, substitute your user id. Where you see "serverXXX," substitute the course servername.
  
  Do not type the "$" symbol - this represents the command prompt you see when you log into Linux. It may also be a "#" or have some directory information in front of it, e.g.
  
  
negative.code: 
  In any command line environment, it is good to run these commands (pwd and ls, or their equivalents) frequently so you maintain awareness of where you are and what might be affected by any commands you run.
  
  Now, make a "vagrant" directory:
  
  ....
  YourStudentID@serverXXX:~$ mkdir vagrant
  ....
  
  Change to your "vagrant" directory:
  
  