Git：从容地丢掉无用分支而不失去提交的特殊技巧与两个提示

重要！本文说明的方法仅供娱乐。在实际生产过程中乱用所产生的后果由使用者自行承担。另外，不保证本文所述信息之准确性。

如果一个分支没有被合并到其他分支上，那么这个分支就不能被直接删除（git branch -d），必须强制删除（git branch -D）。然而强制删除会造成此分支上未合并的提交丢失在海洋中，显然这就不能让Git记录下版本库中发生的全部历史。一种解决方案如下：
继续阅读 →

来自一个没有输入法的世界

好久没有写（没用的）文章了。

在不知道哪天倒腾了一整天后，终于安装好了Arch Linux，随即继续用起了Windows。虽然根本不知道我都在搞啥，但是还是装了许多应该要用的却从来没用过的软件，比如Blender、 Scribus、FontForge等等。然而直到现在都没弄好时区和输入法的问题。

继续阅读 →

‘I don’t dare you to read this entire text.’

发表评论

原视频在此。于是在二周目浪费了远远不止3分钟抄了一遍他讲得好有道理的话，并且观看弹幕。下面的段落是我随便分的

I dare you to watch this entire video. I dare you to watch this entire video. No skipping ahead, no pausing. No opening another tab and letting this play in the background. I dare you to sit still, and do nothing but watch a single 3-minute Internet video. It’s difficult for you, isn’t it? You’re becoming bored. Your brain is beginning to itch inside your skull, begging for a morsel of distraction from the Internet. And you’re holding it together for now, but the truth is, you’re frightened.

继续阅读 →

为什么我不使用Minecraft JSON生成器

并不是不想用，而是生成出来的东西可读性太差。而且，很多JSON命令生成器也都功能不全面。例如，几乎所有的/tellraw命令生成器都无法生成下列命令：

/tellraw @r [{text: "some random entities:", extra: [{selector: "@r[type=!Player]"}, {selector: "@r[type=!Player]"}, {selector: "@r[type=!Player]"}, {selector: "@r[type=!Player]"}], color: aqua}, "\n"]

继续阅读 →