自動ドック非表示機能をプログラムで切り替えるにはどうすればよいですか?
もっと正確に言うと、コマンドラインスクリプトから機能を切り替えるか、ショートカットで機能を切り替えるにはどうすればよいですか?
基本的に、ターミナルで次のコマンドを発行することで、目的を達成できます。
スマート自動非表示を有効にします。
gsettings set org.gnome.Shell.extensions.dash-to-dock dock-fixed false
gsettings set org.gnome.Shell.extensions.dash-to-dock autohide true
gsettings set org.gnome.Shell.extensions.dash-to-dock intellihide true
スマート自動非表示を無効にします。
gsettings set org.gnome.Shell.extensions.dash-to-dock dock-fixed true
gsettings set org.gnome.Shell.extensions.dash-to-dock autohide false
gsettings set org.gnome.Shell.extensions.dash-to-dock intellihide false
詳細については、 この回答 を確認してください。