专栏首页认证协议的形式化分析形式化分析工具:在虚拟操作系统和主机操作系统之间配置共享文件夹
原创

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

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。可以把需要共享的资料放入这个文件夹即可。

原创声明,本文系作者授权云+社区发表,未经许可,不得转载。

如有侵权,请联系 yunjia_community@tencent.com 删除。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 形式化分析工具(六):HLPSL Tutorial(Example 4,other)

    默认情况下,CL-AtSe打印的攻击痕迹可能不是最小的。实际上,这是CL-Atse的首次攻击。但是,可以使用-short选项要求CL-Atse输出最小的攻击之一...

    春风大魔王
  • 形式化分析工具AVISPA(四) SPAN工具简要介绍

    3.protocol、intruder、attack simulation是三种模拟形式。分别是协协议仿真、入侵者仿真、攻击仿真

    春风大魔王
  • 形式化分析工具(六):HLPSL Tutorial

    本文为阅读笔记。文章题目为: HLPSL Tutorial A Beginner’s Guide to Modelling and Analysing Inte...

    春风大魔王
  • 【信号与系统】笔记(3-2)信号的频谱与傅里叶变换(一图看懂傅里叶变换)

    从时域来看,我们会看到一个近似为矩形的波,而我们知道这个矩形的波可以被差分为一些正弦波的叠加。 而从频域方向来看,我们就看到了每一个正余弦波的幅值,每两个正弦波...

    AXYZdong
  • 121-配置zabbix通过钉钉机器人报警

    zabbix服务器监控到异常,可以通过各种方式发送报警消息。配置步骤如下: 1、创建报警脚本

    凯茜的老爸
  • 从无到有基于腾讯云TKE部署Kubernetes全流程(一)

    这里我们希望的是,提供一个腾讯云TKE中部署整个基础环境,以及对部分服务的一个示例。

    蒋经纬
  • 为 markdown 添加图床

    本文介绍了使用腾讯云的 COS 来进行图片的存储,这样就可以随心地将图片存储在腾讯云上了,解决了markdown 文件过大的问题。

    树根
  • 跟着Nature Communications学画图

    用户7010445
  • Lync Server 2013升级Skype for Business Server 2015(2)

    前篇已经升级Lync Server 2013标准版前端服务器,此篇讲解升级边缘服务器,升级边缘比前端简单,只需几步即可完成。

    杨强生
  • 第二十六节:复习Java语言基础-Java的概述,匿名对象,封装,构造函数

    达达前端

扫码关注云+社区

领取腾讯云代金券