JetBrains 家 IDE 在 Linux 下的奇怪字体问题(锯齿, 字体过小)
JetBrains 家的 IDE 在 Linux 下会有一些奇怪的问题: 如字体很丑(没开抗锯齿一样), 字体过小(目测是 HiDPI 下的问题), 最近更新了一下 PyCharm 2019 又出现了这个问题, 解决问题以
这是一个比较迷的 bug, 困扰了我很久, 然而又不知道为什么.
今天在群里看到有人提到了这个问题, 简单地讲就是程序只有一部分跟随系统主题, 然后就会产生各种诡异的效果.
比如
这是一篇闲蛋疼的文章, 讲述了闲蛋疼的我是如何历经千辛万苦终于在 Python 中让 'a' is 'b'
得到 True
.
(虽然这件事情毫无意义)
(不过拿来坑下一任或许是个好主意呢)
pwndbg 的安装: pacman -S pwndbg
然后添加 source /usr/share/pwndbg/gdbinit.py
到 ~/.gdbinit
然而要在 Arch Linux 下愉快地使用 pwndbg, 还要解决以下问题:
这里解决第一个问题, 利用棒棒的 ABS (Arch Build System)
AUR 里的构建脚本常常需要从 github 拉取源代码,
然而没有加 --depth 1
的 git clone
把大量流量花在了下载对于构建毫无用处的提交记录等东西上面.
尤其是安装主题这种东西的时候, clone 下来几百 MB, 结果构建完得到一个几 MB 的包…
默认emoji太丑, 没有颜色, 看着浑身难受.
还是喜欢果冻人…
这个国庆假期抽了点风……
写了一个假期的代码……