📅  最后修改于: 2022-03-11 14:50:32.504000             🧑  作者: Mango
# If you want the dock to stay hidden by default, open a terminal and type:
$ gsettings set org.gnome.shell.extensions.dash-to-dock intellihide false
# To revert:
$ gsettings set org.gnome.shell.extensions.dash-to-dock intellihide true