形式化分析工具：在虚拟操作系统和主机操作系统之间配置共享文件夹

1. 在VirtualBox应用程序中，单击虚拟机名称，然后单击“配置”，然后单击“共享文件夹”，然后添加与主机OS上的路径关联的永久性虚拟共享文件夹。如图所示我关联的共享文件夹为myvirtualFolder。路径根据自己需要进行定义。

2. 启动Ubuntu后，单击ubuntu菜单（最左上角Applications），选择“附件Accessories”，然后选择“终端Terminal”。在终端窗口中，键入 sudo mount -t vboxsf -o uid=1000,gid=1000 myVirtualFolder /home/span/Desktop/VBoxShared

注意：文件名必须与前面设定的一致。回车。输入密码：span

3.桌面生成共享文件夹VBoxShared。可以把需要共享的资料放入这个文件夹即可。