From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 28 Nov 2008 12:11:25 +0000 (+0000)
Subject: virtualbox guide almost ok
X-Git-Tag: make_still_working~4484
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=e0c7f58fd9e59598ea3e30542807efd61e1bb53f;p=helm.git

virtualbox guide almost ok
---

diff --git a/helm/software/matita/help/C/figures/vbox4.png b/helm/software/matita/help/C/figures/vbox4.png
new file mode 100644
index 000000000..5c85c7dd5
Binary files /dev/null and b/helm/software/matita/help/C/figures/vbox4.png differ
diff --git a/helm/software/matita/help/C/figures/vbox5.png b/helm/software/matita/help/C/figures/vbox5.png
new file mode 100644
index 000000000..6289d9c2f
Binary files /dev/null and b/helm/software/matita/help/C/figures/vbox5.png differ
diff --git a/helm/software/matita/help/C/figures/vbox6.png b/helm/software/matita/help/C/figures/vbox6.png
new file mode 100644
index 000000000..bc353de3b
Binary files /dev/null and b/helm/software/matita/help/C/figures/vbox6.png differ
diff --git a/helm/software/matita/help/C/figures/vbox7.png b/helm/software/matita/help/C/figures/vbox7.png
new file mode 100644
index 000000000..7d17a852c
Binary files /dev/null and b/helm/software/matita/help/C/figures/vbox7.png differ
diff --git a/helm/software/matita/help/C/sec_install.xml b/helm/software/matita/help/C/sec_install.xml
index eba9dabd3..9f520d72d 100644
--- a/helm/software/matita/help/C/sec_install.xml
+++ b/helm/software/matita/help/C/sec_install.xml
@@ -93,8 +93,84 @@
     </para>
     </sect2>
     <sect2>
-	    <title>Sharing files with the real PC</title>
-	    TODO
+       <title>Sharing files with the real PC</title>
+	  <para>
+		  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-presistem
+		  file system (thus you data is lost every time yuo
+		  turn off the virtual machine).
+          </para>
+          <para>
+		  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.
+          </para>
+	  <para>
+		  The first step to set up a shared folder is to click
+		  on the shared folder configuration entry
+		  of the virtual machine.
+	  </para>
+          <figure><title>Set up a shared folder</title>
+            <mediaobject>
+              <imageobject>
+		      <imagedata fileref="figures/vbox4.png" 
+			      format="PNG" srccredit="Enrico Tassi"/>
+              </imageobject>
+              <textobject><phrase>Shared folder</phrase></textobject>
+            </mediaobject>
+          </figure>
+	  <para>
+		  The you shuld add a shared folder clicking on the 
+		  plus icon on the right
+	  </para>
+          <figure><title>Choosing the folder to share</title>
+            <mediaobject>
+              <imageobject>
+		      <imagedata fileref="figures/vbox5.png" 
+			      format="PNG" srccredit="Enrico Tassi"/>
+              </imageobject>
+              <textobject><phrase>Shared folder</phrase></textobject>
+            </mediaobject>
+          </figure>
+	  <para>
+		  The 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.
+	  </para>
+          <figure><title>Naming the shared folder</title>
+            <mediaobject>
+              <imageobject>
+		      <imagedata fileref="figures/vbox6.png" 
+			      format="PNG" srccredit="Enrico Tassi"/>
+              </imageobject>
+              <textobject><phrase>Shared folder</phrase></textobject>
+            </mediaobject>
+          </figure>
+	  <para>
+		  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.
+	  </para>
+          <figure><title>Using it from the virtual machine</title>
+            <mediaobject>
+              <imageobject>
+		      <imagedata fileref="figures/vbox7.png" 
+			      format="PNG" srccredit="Enrico Tassi"/>
+              </imageobject>
+              <textobject><phrase>Shared folder at work</phrase></textobject>
+            </mediaobject>
+          </figure>
+	  <para>
+		  A window will then pop-up, and its content will be the
+		  the content of the real PC folder.
+	  </para>
     </sect2>
 
   </sect1>