Plaything
2022-12-11
文本自动换行与填充。
2022-11-26
[[Python]] 常见的字符串操作，不过里面的许多函数已经移植到 [[str]].
2022-08-16
文本差异比较工具
2023-11-07
head 是一个用于查看文件开头内容的命令，可以查看文件的前几行内容。对应查看文件末尾内容的 [[tail]] 命令。
tail 是一个用于查看文件末尾内容的命令，可以查看文件的最后几行内容。对应查看文件开头内容的 [[head]] 命令。
2022-04-19
grep 是一个用于在文件中搜索匹配字符串的命令，可以搜索文件中的字符串，并返回匹配到的行。它的名称来源于 **Global Regular ...