X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Fsec_install.xml;h=92e9d62cc178812ca621194e31b49dd40b8e2903;hb=d8bc6fd4ab18f2995624c75e2889318237e9c17f;hp=eba9dabd3bc73645a48023ff5cc34eb7fb36f04b;hpb=5e298949f797425204d43371d182668e3a056c00;p=helm.git
diff --git a/helm/software/matita/help/C/sec_install.xml b/helm/software/matita/help/C/sec_install.xml
index eba9dabd3..92e9d62cc 100644
--- a/helm/software/matita/help/C/sec_install.xml
+++ b/helm/software/matita/help/C/sec_install.xml
@@ -76,8 +76,7 @@
In the newely opened window click
- the Add button, choose the file you downloaded
- (usually matita-version.iso) and select that entry.
+ the Add button
- You are now ready
- to start the virtual machine.
+ A new windows will pop-up: choose the file you downloaded
+ (usually matita-version.iso) and click open.
+
+
+
+ Now select the new entry you just added as the CD image
+ you want to insert in the virtual CD drive.
+ You are now ready to start the virtual machine.
- Sharing files with the real PC
- TODO
+ Sharing files with the real PC
+
+ The virtual machine &appname; will run on, has its own file
+ system, that is completely separated from the one of your
+ real PC (thus your files are not available in the
+ emulated environment) and moreover it is a non-presistent
+ file system (thus you data is lost every time you
+ turn off the virtual machine).
+
+
+ Virtualbox allows you to share a real folder (beloging
+ to your real PC) with the emulated computer. Since this
+ folder is persistent, you are encouraged to put
+ your work there, so that it is not lost when the virtual
+ machine is powered off.
+
+
+ The first step to set up a shared folder is to click
+ on the shared folder configuration entry
+ of the virtual machine.
+
+
+
+ Then you shuld add a shared folder clicking on the
+ plus icon on the right
+
+
+
+ Then you have to specify the real PC folder you want to share
+ and name it. A reasonable folder to share is /home on
+ a standard Unix system, while /Users on MaxOSX.
+ The name you give to the share is important, you should
+ remember it.
+
+
+
+ Once your virtual machine is up and running, you can
+ mount (that meand have access to) the shared folder
+ by clicking on the Mount VirtualBox share icon, and typing
+ the name of the share.
+
+
+
+ A window will then pop-up, and its content will be the
+ the content of the real PC folder.
+