🌈 搜索
📅  最后修改于: 2022-03-11 14:51:22.958000             🧑  作者: Mango
sudo apt install gnome-shell-extension-autohidetopbar