今天读文章读到一篇IEEE Computer期刊的文章：`Software-Testing Contests: Observations and Lessons Learned`，里面还附上了一个software testing database，我觉得很有意义，所以在此记录下。

如题。目前已经有了一个VNC viewer连接，那么如果再开一个图形界面呢？思路主要是：新建一个用户，从这个用户新建一个vnc连接，然后访问图形界面。

昨晚在阿里云服务器上清空了一个数据盘的数据，然后直接在阿里云控制台界面卸载、释放了这个数据盘，昨晚提示应该需要先在实例里面unmount数据盘，我没在意，今天一早发现等不进去了！！！我以为要重装系统了，泪目，但是一番操作之后还是万幸搞定了！这里记录全过程。

本文会讲明白1）Agent定义（及其理性）；2）PEAS及环境特性；3）Agent程序的结构；4）Agent程序的部件如何运转。

如题，在使用Beamer的时候遇到了这样的错误，这里给出解决方案。

博客中代码显示会高亮，感觉还挺好看的，所以想在latex里面也实现类似的操作（且支持自动换行）。主要使用LaTeX中的`soul`这个包。

如题，很久没用vscode看java了，今天用了下发现有一个java文件可以显示outline，但是另外一个java文件却没有对应的outline。。。这里给出解决方案。

最新在用腾讯云服务器的Ubuntu 18.04 server的时候，其自动设置了主机名（VMxxx一长串），还自动把用户名设置为ubuntu。我个人看不下去，想改一下，这里记录全过程。

最近入手腾讯云服务器，然而！其安装图形界面的文档实在一言难尽。这里对各个版本进行一番探索，看看到底哪个版本可以装图形界面，并顺利用vnc远程登录。

兜兜转转还是回到阿里云。但是之前一直是包年包月付费，性价比还是低了，现在准备转为按量付费，应该会实惠一些。这里记录全过程：包括数据的转移。