Philbert

摘要： 所有文件类型中，只有png格式的图片是压缩后失真程度最低的，也是最有压缩潜质的，可以从几GB压缩到几KB。 对于图片较多的大型pdf文件，首先将文件转换为png，然后将png压缩，最后将图片转为pdf即可。 其中核心步骤为png图片压缩：图片无损压缩的最佳工具是Image Optimizer。网址是 阅读全文

摘要： shell的awk命令常常用于筛选文本的某列数据，其中筛选文本时应该用~/text/ 而引入外部变量时应该为'"${variable}"' 阅读全文

摘要： 本文主要介绍shell中的grep命令用于匹配多个字符串时的用法，且用管道实现，或用-E选项实现，非用-v选项实现，显示行号用-n选项实现。 阅读全文

摘要： 本文介绍了shell命令date显示不同精度的时间，以及计算不同精度时间差的计算，给出计算周数差，天数差和毫秒差的实例 阅读全文

摘要： 本文介绍了在shell中输出含有空格和换行符号的内容以及多行文本的输出方法，理解echo命令 阅读全文

摘要： Java在wsl中的安装命令是sudo apt-get install openjdk-8-jdk 阅读全文

摘要： WSL图形界面优势 为wsl安装图形界面之后，就像拥有一台新电脑一样。 wsl安装完毕后，与wsl子系统交互的方法只有shell，具有一些弊端： 1.学习难度大，交互式编程循环结构难以加入。 2.不支持GUI，对数据可视化很不友好，终端中查看图片时会报错X11未安装。matplotlib中的plt. 阅读全文

摘要： 磁盘分区/合并过程中文件会丢失吗？ win10系统简化了磁盘分区和合并过程，操作是：右键“此电脑”-管理-存储-磁盘管理。即可出现以下对话框 有本地磁盘C+本地固态硬盘DEF+移动硬盘H。 磁盘分区操作：右键某磁盘-压缩卷-输入分区大小-确定。然后右键分配的卷-新建简单卷-下一步即可完成。 磁盘合并 阅读全文

摘要： 绘制地震波形，使用SAC的plot命令时提示X11未安装 报错内容: X11 Screen does not exist Segmentation fault (core dumped) 解决方案：安装X11命令如下 $ sudo apt-get install libx11-dev libxext 阅读全文

摘要： 从iris网站下载到的地震波形数据通常为seed格式，或者miniseed格式文件（即mseed格式文件） 文件转换软件在iris网站可以下载，目前iris开发的软件均可以在网站进行下载 https://seiscode.iris.washington.edu/ rdseed安装 rdseed软件主 阅读全文