2016年5月23日
May 23, 2016
2016年
今天我发现时间越来越紧迫了起来。
突然想到要整理一下我的浏览器收藏夹,因为我在用三种浏览器,Safari,Chrome 和Firefox,在Mac OS X上面用Safari和Chrome,在旧电脑的Linux上面用Firefox,因为开 Chrome实在是,太卡。。:joy::joy::joy:所以同步收藏夹就成了一个问题。一直以来,我 都没有整理过我的收藏夹,并且不知道什么时候手贱,在Safari里面点了导入Chrome的收藏 夹,然后又在Safari里面导入Firefox的收藏夹,然后在Chrome里面导入Safari的收藏夹, 然后在Firefox里面导入Chrome的收藏夹……然后各种同步。。不知道为啥反正就是各种乱, 很多重复的,也没办法简单地删除,因为都有后来自己添加的收藏并且没有同步或者导入的 别的浏览器的。尝试过各种乱七八糟的去掉收藏夹里面重复网页的浏览器插件,Chrome和 Firefox里面的都试过,下午在Linux里面的Firefox里面又试了一下:
可以看到有13593个重复的收藏被检测到,然而这个插件并不能简单的一次性去重……然后 尝试另外一个:
这个倒是可以,然而点了按钮之后,等了十几分钟,还没结束,觉得这也太慢了。。然后就 这样了:
Google了半天也没找到别的比较好的方法。。:sob::sob::sob:
然后突然想到一个办法:我自己手动去重吧。。然而并不会写浏览器插件,也并不会前端的 乱七八糟的东西。所以想了个歪路子:(针对Firefox)
- 把收藏夹导出成html文件,然后用awk之类的工具去重。。
- 删除浏览器的所有收藏夹。
- 导入处理之后的html文件到收藏夹。
开始不知道怎么想到,一开始就想用awk处理,写的时候发现,然而在awk里面用正则的反向 引用并不是那么方便的样子:question::question:额……我为什么不用 Perl:exclamation::exclamation::anger:所以,很愉快地用Perl写完了。。
my %seen;
while(<>) {
if (/<A HREF="http([^\"]+)"/) {
unless ($seen{$1}) {
$seen{$1}++;
print;
}
} else {
print;
}
}
# 14595 -> 991 ;-(
exit 0;
处理了之后,可以发现,收藏总数从14595减少到了991:scream::scream:棒棒哒!这个去重 貌似不彻底诶,然而已经减少了大部分了,再用之前使用的插件搞一下,发现需要手动删除 的只有几个而已了,把浏览器里面的全部收藏删除之后,再导入处理之后的html文件。收工:bangbang:
之后就是寻找一种方法可以各个浏览器之间同步的方法吧?貌似可能有插件可以搞定?随后 再找找。。
哦,对了,我发现把KDE Plasma 5里面的各种特效什么的都关掉,还是可以用的,用得挺流 畅,在我的旧电脑上面并不卡。如果追求绝对稳定,当然还是Xfce4靠谱:smiley_cat:
还有,前两天我又折腾了一下我的树莓派,它支持AirPlay了,最近我发现Real好用,iPad Air上面放的腾讯视频可以很愉快地在电视上面看,并且可以用我的Android手机作为遥控 器,甚至不接显示器的时候,也可以把手机上的音乐AirPlay到树莓派上面播放:smile::smile: 哦,Android里面的QQ音乐和虾米音乐都支持AirPlay,网易云音乐不支持,有点可惜。 这两天它主要承担了给我妈播放电视剧的艰巨任务。。。:joy::joy:另外就是作为我的IRC 的一个Bouncer,其实树莓派,还是蛮有用的嘛。:yum:
自从我的Emacs支持Emoji了之后,我越来越喜欢在Emacs里面用Emoji了……