Software Engineering Documentation

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
===== Using Virtual Box =====

If you are in EECS3311/EECS3342/EECS4312, you can install a virtual machine with Eiffel, Rodin, PVS, ETF, and Latex configured as in the Linux workstations in the Prism lab. 

**Step 1: Download the Image**

The SEL Virtual Machine can be downloaded [[http://dl.eecs.yorku.ca/sel/eecs-vbox-sel-latest.ova|here]]. It is 9GB so it will take some time and you may want to download it on to a USB while you are at York. 

**Important**: You will need a login and password to enter the above site which you can obtain [[https://wiki.eecs.yorku.ca/project/sel-students/p:tutorials:vm:start:start#step_1download_the_image|here]] (login with your EECS credentials).

**Step 2: Install Virtual Box**

Install the free VirtualBox software from [[https://www.virtualbox.org/wiki/Downloads|here]].

Also download and install: VirtualBox Oracle VM VirtualBox Extension Pack

Install the Extension Pack.

**Step 3: Import the image (appliance)**

To import the EECS VirtualBox Appliance into your new VirtualBox installation, simply double click on the downloaded file. If this doesn't work for some reason, follow these steps:

  * Start VirtualBox. 
  * From the “File” menu, select “Import Appliance”.
  * Click the “Open Appliance” button, and point VirtualBox to the downloaded appliance file.
  * Click “Next”.
  * Click “Import”. The EECS VirtualBox Appliance is imported.

To start the EECS appliance, follow these steps:

  * Start VirtualBox.
  * Click on the Virtual Appliance in list of virtual machines. It's name will be something like “eecs-vbox-sel”.
  * Click the “Start” button (or right-click on the virtual machine, and click “Start”). The appliance will boot.

**Step 4: Update the image**

Finally, once you are up and running you must update your VM. 

{{:virtualbox:sel-update.png?600|}}

**
Transferring files from your VM to Prism**

On your VM, right click on the folder foo that you want to transfer and select compress. This will provide you with foo.tar.gz. Then do the following at the command line of the VM:

  % scp foo.tar.gz <PRISM-ACCOUNT>@red.eecs.yorku.ca:

Now, use SSH to connect to red:

  % ssh <PRISM-ACCOUNT>@red.eecs.yorku.ca

The file will be in the home directory. To uncompress do the following:

  % tar xzf foo.tar.gz

You can now submit:

  % submit 3311 <ASSIGNMENT> foo

You can also compress with zip and then use unzip foo.zip on Prism. You can also transfer files using sftp, or a USB stick (you may set up your VM to share files with your host).
Software Engineering Documentation

User Tools

Site Tools

Page Tools
