GreyZhang/toolbox: 常用的工具使用查询，非教程，仅作为自我参考！ (github.com)
使用的工具很容易在彼此之间产生隔离性障碍，比如我最近使用的墨水屏阅读的最合适的文件格式我觉得是pdf，但是我需要阅读的很多资料却是网页格式。如此，少不了一通转换才能够在我的阅读器上使用。另外，如今很多网页在切换不同的页面的时候总是需要加载，这给我一种不是很舒服的感觉，少了一点顺畅。也不排除是我的计算机过于古老的缘故，但是能够有办法转换成本地的pdf文件我觉得可能会是非常好的一个想法。
我尝试过直接网页打印，也试过字节复制到富文本软件然后导出pdf文件。都能够在一定程度上解决我的问题，但是终究还是让人觉得操作繁琐。为此，找了一款可以进行网页转换到pdf文件的软件，叫做wkhtmltopdf。
1. 安装比较容易：
sudo apt-get install wkhtmltopdf
2. 但是，或许上面的过程不能够完成百分百的安装。因为这个工具还依赖于QT，运行的时候提示缺少了一个qt库，为此搜索了网络类似信息，增加如下安装：
sudo apt-get install qt5-default
sudo apt-get install qt5ct
3. 重新运行，依然失败。为此，扩增了安装包：
sudo apt install --reinstall libqt5widgets5 libqt5gui5 libqt5dbus5 libqt5network5 libqt5core5a
再次测试，依然不是很幸运！
4. 从下面的链接发现一个直接下载安装包手动安装的方式，正好也是这个工具。
virtualbox - Ubuntu 18.4 libQt5Core.so.5: cannot open shared object file: No such file or directory - Ask Ubuntu
之后的运行测试依然失败，看起来工具可执行文件不存在了。
这个问题看起来简单，因为程度中的某个地方判断错了目录。解决这样的问题，只需要创建一个软连接即可。
sudo ln -s /usr/local/bin/wkhtmltopdf /usr/bin/wkhtmltopdf
再次进行文档导出测试：
这一次的文档导出成功，效果看起来也不错。
