Differences

This shows you the differences between two versions of the page.

--- resources [2015/01/06 22:15] – jonathan
+++ resources [2015/02/15 19:05] (current) – jonathan
@@ Line 6: / Line 6: @@
   *   [[https://w2prod.sis.yorku.ca/Apps/WebObjects/cdm.woa/wa/curexam|York Exam Schedule]]
+The SEL Virtual Machine is available [[http://dl.eecs.yorku.ca/sel/eecs-vbox-sel-latest.ova|here]]
-====== SEL VirtualBox ======
+For further help, see [[protected:vm:|here]] (login for the password to access the VM).
-If you are in EECS3311/EECS3342/EECS4312, you can install a virtual machine with Eiffel, Rodin, PVS and Latex configured as in the Linux workstations in the Prism lab.
-  * Install the free VirtualBox software from [[https://www.virtualbox.org/wiki/Downloads|here]]
-  * You need a USB key with at least 9GB of space.
-  * Go to the Prism Lab to one of the Linux workstations and login to the workstation
-  *Insert a formatted FAT32 USB key into the machine.
-  * Open up a terminal window.
-  * Run the following command to copy the image to your USB key:
-   >scp red:/vbox/eecs-vbox-sel-build7.ova <PATH TO YOUR USB KEY>
-The path to your USB key will be: /media/<USB key name>. If you don't know the path to your USB key, simply drag your USB key icon from the desktop to the terminal window while entering the above command, and the path to your USB key will be automatically filled in.
-NOTE: If your USB key is not formatted, you can use the system utility “palimpsest” to partition and format it FAT32. Be aware that reformatting your USB key will erase its current contents.
-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.