Differences

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

--- resources [2015/01/14 03:05] – 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 Virtual Machine (SEL-VM) ======
+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 NTFS 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 to NTFS. Be aware that reformatting your USB key will erase its current contents.
-===== Remote Copy or FTP =====
-You can also remote copy or ftp the image. This will take a long time given the size of the image. For remote copy using ssh:
-   >scp student@red.eecs.yorku.ca:/vbox/eecs-vbox-sel-build7.ova <PATH TO YOUR USB KEY>
-For safe ftp, do:
-  >sftp red.eecs.yorku.ca
-Then login, cd to ''/vbox'', and do a ''get'' on the file.
-===== Import the appliance (image) =====
-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-common”.
-  * Click the “Start” button (or right-click on the virtual machine, and click “Start”). The appliance will boot.
-Finally, once you are up and running you must **update** your VM.