过滤所有中文的脚本

要做网站翻译,整理了个提取中文的脚本

find . -name "*.php" -exec grep -Po "[\x{4e00}-\x{9fa5}]+" {} \; > /tmp/output.txt
发布于
2018-06-15

工作系统从debian testing切换到debian sid

为了更舒服的使用wayland,还是追了把新。

果然升级之后,大大小小的毛病少了一大半。

有几年没用sid了吧。

又要回到每周更新1-2个G的状态了,想想还是有点小兴奋呢。

发布于
2018-04-12

开始转移到wayland

最近一次升级,发现升级列表中有wayland。切换一试后,发现能够很完美的支持不同dpi的屏幕,就干脆重灌了下系统,开始主力使用wayland(KDE)。

不得不说,至少debian的wayland还不是很稳定,有各种随机和不随机环境崩溃,有点类似当年kde4刚出时候的状态。

以至于任务栏都无法移动到屏幕上方,让我很不习惯。

跨dpi还有很多程序不支持,比如全屏的程序菜单,比如ppt的放映模式。

但毕竟已经能用了。

看着某人surface book win10蛋疼的跨dpi表现,linux的进步还是能令人满意的。

只要急于耐心,linux还是会予以回报的。

这么多年的耐心都给了,不差这一点。

发布于
2018-04-08

记录:恢复windows更新后,grub rescue> error unknow filesystem错误

在grub resuce模式中,通过ls确认自己的所有分区。

找到自己的root和boot分区.

如果你的root分区是(hd0,gpt7)

set root=(hd0,gpt7)\

如果你的boot分区是(hd0,gpt6)


set prefix=(hd0,gpt6)\grub

(如果没有将boot和root区分开,则为实际目录.

然后正常进入grub菜单

insmod normal

normal

正常启动linux后,以root权限执行

update-grub 

grub-install /dev/sda


完成收工


参考:https://askubuntu.com/questions/142300/how-to-fix-error-unknown-filesystem-grub-rescue

发布于
2018-01-12

备忘.GIT hook设置。推送后stash。

GIT_DIR=.git

cd ../
git stash


一开始没发现git_dir属性不对,坑了半天

发布于
2017-07-21