虚拟机Ubuntu安装Tamarin prover记录

1. 安装vmware VMware Workstation Pro 16

链接：https://pan.baidu.com/s/1_InZkEje8NjRN6Q-ypccQg 
提取码：2023 

许可证密钥百度搜

2. 安装ubuntu 22.4

链接：https://pan.baidu.com/s/1DwCaUw0f8N3Ka1tNAWDacg 
提取码：2023 

3. 联网

https://blog.csdn.net/qq_53429158/article/details/119043547

4. 换源

https://zhuanlan.zhihu.com/p/111979109

5. 安装VMware Tools

sudo apt upgrade
sudo apt install open-vm-tools-desktop -y
sudo reboot

6. 文件共享

https://blog.csdn.net/weixin_44895385/article/details/121879119

7. 使用脚本安装HomeBrew

https://blog.csdn.net/weixin_59197425/article/details/125406880

8. 不能拖拽文件

https://blog.csdn.net/yakamoz423/article/details/128817915

9. clash for windows 虚拟机联外网