摘要：
Ubuntu 20.04 采用了动态工作区的设计，对于主攻NOI的OIer来说实际上并不友好。 但是我们有办法把它调教成NOI Linux的 $n \times m$ 工作区！ 首先安装优化： sudo apt-get install gnome-tweak-tool 安装后按Super键进入Das 阅读全文
$\newcommand{le}{\leqslant}\newcommand{ge}{\geqslant}$