Ubuntu 18.04 工具列設定自動隱藏,滑鼠移過去工具列不會出現 [論壇 - Ubuntu基本設定]


正在瀏覽:   1 名遊客


 到底部   前一個主題   下一個主題  [無發表權] 請登錄或者註冊



Ubuntu 18.04 工具列設定自動隱藏,滑鼠移過去工具列不會出現
會員一級
註冊日期:
2013/10/19 10:31
所屬群組:
已註冊使用者
等級: 2
HP : 0 / 28
MP : 3 / 819
EXP: 12
離線
Ubuntu 18.04 (從16.04升級上來)
工具列設定自動隱藏,不過,滑鼠移過去工具列卻不會出現。
另一個怪現象是這種問題,下一次開機又變正常,再下一次開機又變不正常,大約就這樣循環。
請問有人遇過嗎? 怎麼解決?


不正常時的工具列是短的

.
.

正常時的工具列是長的,佔滿版面

2018/12/22 9:40
應用擴展 工具箱
回覆: Ubuntu 18.04 工具列設定自動隱藏,滑鼠移過去工具列不會出現
會員五級
註冊日期:
2009/10/29 4:50
所屬群組:
已註冊使用者
等級: 41
HP : 204 / 1022
MP : 930 / 41548
EXP: 91
離線
試試清掉設定值後,重新登入:
rm -rf ~/.compiz* ~/.cache/compiz* ~/.config/compiz* ~/.gconf/apps/compiz*
rm -rf ~/.cache/dconf ~/.config/dconf

2018/12/22 14:10
應用擴展 工具箱
回覆: Ubuntu 18.04 工具列設定自動隱藏,滑鼠移過去工具列不會出現
會員一級
註冊日期:
2013/10/19 10:31
所屬群組:
已註冊使用者
等級: 2
HP : 0 / 28
MP : 3 / 819
EXP: 12
離線
很不幸運,沒效。

2018/12/24 18:56
應用擴展 工具箱
回覆: Ubuntu 18.04 工具列設定自動隱藏,滑鼠移過去工具列不會出現
會員五級
註冊日期:
2012/4/22 10:50
所屬群組:
已註冊使用者
等級: 37
HP : 0 / 905
MP : 679 / 30224
EXP: 23
離線
剛測試了一下,感覺是要用「壓」的,也就是游標移到邊界,移動需要有壓到邊界的感覺。

建議您執行下面的指令,測試看看情況會不會改善(主要是前面三個指令)


gsettings set org.gnome.shell.extensions.dash-to-dock require-pressure-to-show false
gsettings set org.gnome.shell.extensions.dash-to-dock show-delay 0
gsettings set org.gnome.shell.extensions.dash-to-dock hide-delay 0

gsettings set org.gnome.shell.extensions.dash-to-dock dock-fixed false
gsettings set org.gnome.shell.extensions.dash-to-dock dock-position 'BOTTOM'



若要恢復上面幾個設定的預設值,則是執行下面指令


gsettings reset org.gnome.shell.extensions.dash-to-dock require-pressure-to-show
gsettings reset org.gnome.shell.extensions.dash-to-dock show-delay
gsettings reset org.gnome.shell.extensions.dash-to-dock hide-delay

gsettings reset org.gnome.shell.extensions.dash-to-dock dock-fixed
gsettings reset org.gnome.shell.extensions.dash-to-dock dock-position



註: 上述動作也可以透過圖形介面程式「dconf-editor」操作,也就是上面「#1」提供的「圖二」。

================================================================================

關於「gsettings」,我之前有在「[索引] 泛Ubuntu 安裝調校」紀錄一些討論案例。

================================================================================

以下是順道一提的,提供額外的參考。

================================================================================

執行下面指令,觀看在我的環境的設定值


$ gsettings list-recursively | grep dash-to-dock



顯示


org.gnome.shell.extensions.dash-to-dock click-action 'previews'
org.gnome.shell.extensions.dash-to-dock preferred-monitor -1
org.gnome.shell.extensions.dash-to-dock force-straight-corner false
org.gnome.shell.extensions.dash-to-dock show-show-apps-button true
org.gnome.shell.extensions.dash-to-dock show-windows-preview true
org.gnome.shell.extensions.dash-to-dock animation-time 0.20000000000000001
org.gnome.shell.extensions.dash-to-dock scroll-action 'switch-workspace'
org.gnome.shell.extensions.dash-to-dock height-fraction 0.90000000000000002
org.gnome.shell.extensions.dash-to-dock activate-single-window true
org.gnome.shell.extensions.dash-to-dock running-indicator-dominant-color false
org.gnome.shell.extensions.dash-to-dock custom-theme-customize-running-dots true
org.gnome.shell.extensions.dash-to-dock minimize-shift true
org.gnome.shell.extensions.dash-to-dock show-apps-at-top false
org.gnome.shell.extensions.dash-to-dock pressure-threshold 100.0
org.gnome.shell.extensions.dash-to-dock show-delay 0.0
org.gnome.shell.extensions.dash-to-dock icon-size-fixed true
org.gnome.shell.extensions.dash-to-dock intellihide-mode 'ALL_WINDOWS'
org.gnome.shell.extensions.dash-to-dock customize-alphas false
org.gnome.shell.extensions.dash-to-dock apply-custom-theme false
org.gnome.shell.extensions.dash-to-dock hot-keys true
org.gnome.shell.extensions.dash-to-dock extend-height true
org.gnome.shell.extensions.dash-to-dock background-color '#ffffff'
org.gnome.shell.extensions.dash-to-dock shortcut-timeout 2.0
org.gnome.shell.extensions.dash-to-dock transparency-mode 'ADAPTIVE'
org.gnome.shell.extensions.dash-to-dock multi-monitor false
org.gnome.shell.extensions.dash-to-dock shortcut-text '<Super>q'
org.gnome.shell.extensions.dash-to-dock isolate-workspaces false
org.gnome.shell.extensions.dash-to-dock max-alpha 0.80000000000000004
org.gnome.shell.extensions.dash-to-dock app-shift-hotkey-10 ['<Shift><Super>0']
org.gnome.shell.extensions.dash-to-dock hide-delay 0.0
org.gnome.shell.extensions.dash-to-dock show-favorites true
org.gnome.shell.extensions.dash-to-dock custom-theme-running-dots-border-color '#e95420'
org.gnome.shell.extensions.dash-to-dock custom-theme-running-dots-border-width 0
org.gnome.shell.extensions.dash-to-dock app-hotkey-10 ['<Super>0']
org.gnome.shell.extensions.dash-to-dock app-ctrl-hotkey-1 ['<Ctrl><Super>1']
org.gnome.shell.extensions.dash-to-dock app-ctrl-hotkey-2 ['<Ctrl><Super>2']
org.gnome.shell.extensions.dash-to-dock app-ctrl-hotkey-3 ['<Ctrl><Super>3']
org.gnome.shell.extensions.dash-to-dock app-ctrl-hotkey-4 ['<Ctrl><Super>4']
org.gnome.shell.extensions.dash-to-dock app-ctrl-hotkey-5 ['<Ctrl><Super>5']
org.gnome.shell.extensions.dash-to-dock app-ctrl-hotkey-6 ['<Ctrl><Super>6']
org.gnome.shell.extensions.dash-to-dock app-ctrl-hotkey-8 ['<Ctrl><Super>8']
org.gnome.shell.extensions.dash-to-dock app-ctrl-hotkey-9 ['<Ctrl><Super>9']
org.gnome.shell.extensions.dash-to-dock app-hotkey-1 ['<Super>1']
org.gnome.shell.extensions.dash-to-dock app-hotkey-2 ['<Super>2']
org.gnome.shell.extensions.dash-to-dock isolate-monitors false
org.gnome.shell.extensions.dash-to-dock app-hotkey-4 ['<Super>4']
org.gnome.shell.extensions.dash-to-dock app-hotkey-5 ['<Super>5']
org.gnome.shell.extensions.dash-to-dock app-hotkey-6 ['<Super>6']
org.gnome.shell.extensions.dash-to-dock app-hotkey-3 ['<Super>3']
org.gnome.shell.extensions.dash-to-dock app-hotkey-8 ['<Super>8']
org.gnome.shell.extensions.dash-to-dock app-hotkey-9 ['<Super>9']
org.gnome.shell.extensions.dash-to-dock custom-theme-shrink true
org.gnome.shell.extensions.dash-to-dock app-hotkey-7 ['<Super>7']
org.gnome.shell.extensions.dash-to-dock autohide true
org.gnome.shell.extensions.dash-to-dock app-ctrl-hotkey-7 ['<Ctrl><Super>7']
org.gnome.shell.extensions.dash-to-dock hotkeys-show-dock true
org.gnome.shell.extensions.dash-to-dock autohide-in-fullscreen false
org.gnome.shell.extensions.dash-to-dock dash-max-icon-size 48
org.gnome.shell.extensions.dash-to-dock background-opacity 0.80000000000000004
org.gnome.shell.extensions.dash-to-dock running-indicator-style 'DOTS'
org.gnome.shell.extensions.dash-to-dock dock-position 'BOTTOM'
org.gnome.shell.extensions.dash-to-dock middle-click-action 'launch'
org.gnome.shell.extensions.dash-to-dock scroll-switch-workspace true
org.gnome.shell.extensions.dash-to-dock app-ctrl-hotkey-10 ['<Ctrl><Super>0']
org.gnome.shell.extensions.dash-to-dock dock-fixed false
org.gnome.shell.extensions.dash-to-dock min-alpha 0.20000000000000001
org.gnome.shell.extensions.dash-to-dock shift-middle-click-action 'minimize'
org.gnome.shell.extensions.dash-to-dock show-running true
org.gnome.shell.extensions.dash-to-dock intellihide true
org.gnome.shell.extensions.dash-to-dock require-pressure-to-show false
org.gnome.shell.extensions.dash-to-dock unity-backlit-items false
org.gnome.shell.extensions.dash-to-dock custom-background-color false
org.gnome.shell.extensions.dash-to-dock custom-theme-running-dots-color '#e95420'
org.gnome.shell.extensions.dash-to-dock shortcut ['<Super>q']
org.gnome.shell.extensions.dash-to-dock app-shift-hotkey-1 ['<Shift><Super>1']
org.gnome.shell.extensions.dash-to-dock app-shift-hotkey-2 ['<Shift><Super>2']
org.gnome.shell.extensions.dash-to-dock app-shift-hotkey-3 ['<Shift><Super>3']
org.gnome.shell.extensions.dash-to-dock app-shift-hotkey-4 ['<Shift><Super>4']
org.gnome.shell.extensions.dash-to-dock app-shift-hotkey-5 ['<Shift><Super>5']
org.gnome.shell.extensions.dash-to-dock app-shift-hotkey-6 ['<Shift><Super>6']
org.gnome.shell.extensions.dash-to-dock app-shift-hotkey-7 ['<Shift><Super>7']
org.gnome.shell.extensions.dash-to-dock app-shift-hotkey-8 ['<Shift><Super>8']
org.gnome.shell.extensions.dash-to-dock app-shift-hotkey-9 ['<Shift><Super>9']
org.gnome.shell.extensions.dash-to-dock hotkeys-overlay true
org.gnome.shell.extensions.dash-to-dock bolt-support true
org.gnome.shell.extensions.dash-to-dock shift-click-action 'launch'
org.gnome.shell.extensions.dash-to-dock animate-show-apps true



================================================================================

關於「gnome-shell-extension」,可以參考「#34 回覆: Ubuntu 17.10 推出」。

而「dock(panel)」,是來自於「gnome-shell-extension-ubuntu-dock」這個「package」。

執行下面指令,觀看有哪些檔案


$ dpkg -L gnome-shell-extension-ubuntu-dock



顯示


/.
/usr
/usr/share
/usr/share/doc
/usr/share/doc/gnome-shell-extension-ubuntu-dock
/usr/share/doc/gnome-shell-extension-ubuntu-dock/changelog.gz
/usr/share/doc/gnome-shell-extension-ubuntu-dock/copyright
/usr/share/glib-2.0
/usr/share/glib-2.0/schemas
/usr/share/glib-2.0/schemas/10_ubuntu-dock.gschema.override
/usr/share/glib-2.0/schemas/org.gnome.shell.extensions.dash-to-dock.gschema.xml
/usr/share/gnome-shell
/usr/share/gnome-shell/extensions
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/README.md
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/Settings.ui
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/appIconIndicators.js
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/appIcons.js
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/convenience.js
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/dash.js
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/docking.js
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/extension.js
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/intellihide.js
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/launcherAPI.js
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/media
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/media/glossy.svg
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/media/highlight_stacked_bg.svg
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/media/highlight_stacked_bg_h.svg
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/media/logo.svg
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/metadata.json
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/stylesheet.css
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/theming.js
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/utils.js
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/windowPreview.js



剛剛執行「gsettings list-recursively | grep dash-to-dock」所得到的設定參數,

可以對照參考下面兩個檔案

* /usr/share/glib-2.0/schemas/org.gnome.shell.extensions.dash-to-dock.gschema.xml
* /usr/share/glib-2.0/schemas/10_ubuntu-dock.gschema.override

================================================================================

執行


$ grep 'require-pressure-to-show' /usr/share/glib-2.0/schemas/org.gnome.shell.extensions.dash-to-dock.gschema.xml -n -A 4



顯示


127:    <key type="b" name="require-pressure-to-show">
128-      <default>true</default>
129-      <summary>Require pressure to show dash</summary>
130-      <description>Enable or disable requiring pressure to show the dash</description>
131-    </key>



================================================================================

然後設定「dock(panel)」的位置是在左方,右方,下方,還有是否自動隱藏,除了透過指令「gsettings」來設定,
也可以透過圖形介面程式來設定,也就是透過「gnome-control-center」這個程式來設定,要切換到「dock」那個頁簽。

或是直接執行下面指令,啟動「gnome-control-center」後,就會直接簽換到「dock」那個頁簽。


$ gnome-control-center ubuntu



================================================================================

至於上面指令如何找到,方式如下


$ dpkg -L gnome-control-center | grep desktop



顯示


/usr/share/applications/gnome-background-panel.desktop
/usr/share/applications/gnome-bluetooth-panel.desktop
/usr/share/applications/gnome-color-panel.desktop
/usr/share/applications/gnome-control-center.desktop
/usr/share/applications/gnome-datetime-panel.desktop
/usr/share/applications/gnome-default-apps-panel.desktop
/usr/share/applications/gnome-display-panel.desktop
/usr/share/applications/gnome-info-overview-panel.desktop
/usr/share/applications/gnome-keyboard-panel.desktop
/usr/share/applications/gnome-mouse-panel.desktop
/usr/share/applications/gnome-network-panel.desktop
/usr/share/applications/gnome-notifications-panel.desktop
/usr/share/applications/gnome-online-accounts-panel.desktop
/usr/share/applications/gnome-power-panel.desktop
/usr/share/applications/gnome-printers-panel.desktop
/usr/share/applications/gnome-privacy-panel.desktop
/usr/share/applications/gnome-region-panel.desktop
/usr/share/applications/gnome-removable-media-panel.desktop
/usr/share/applications/gnome-search-panel.desktop
/usr/share/applications/gnome-sharing-panel.desktop
/usr/share/applications/gnome-sound-panel.desktop
/usr/share/applications/gnome-thunderbolt-panel.desktop
/usr/share/applications/gnome-ubuntu-panel.desktop
/usr/share/applications/gnome-universal-access-panel.desktop
/usr/share/applications/gnome-user-accounts-panel.desktop
/usr/share/applications/gnome-wacom-panel.desktop
/usr/share/applications/gnome-wifi-panel.desktop



執行


$ dpkg -L gnome-control-center | grep desktop | grep ubuntu-panel



顯示


/usr/share/applications/gnome-ubuntu-panel.desktop



執行


$ grep '^Exec=' /usr/share/applications/gnome-ubuntu-panel.desktop



顯示


Exec=gnome-control-center ubuntu



關於這部份的概念,之前在「#25 回覆: Ubuntu 17.10 推出」有相關的紀錄。

================================================================================

接著來簡易探索原始碼

執行下面指令,下載「gnome-control-center」的「Source Package: gnome-control-center」。


$ apt-get source gnome-control-center



會下載三個檔案

* gnome-control-center_3.28.2-0ubuntu0.18.04.2.debian.tar.xz
* gnome-control-center_3.28.2-0ubuntu0.18.04.2.dsc
* gnome-control-center_3.28.2.orig.tar.xz

並且會解開到「gnome-control-center-3.28.2」這個資料夾

================================================================================

接著簡易探索「gnome-control-center-3.28.2/panels/ubuntu/」

執行


$ grep 'dock-fixed' gnome-control-center-3.28.2/panels/ubuntu/cc-ubuntu-panel.c -n -A 2



顯示


335:  g_settings_bind (panel->ubuntu_dock_settings, "dock-fixed",
336-                   sw, "active",
337-                   G_SETTINGS_BIND_INVERT_BOOLEAN);



================================================================================

回過頭來,也可以簡易探索「dash-to-dock」

執行


$ grep 'dock-fixed' /usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/* -R -n



================================================================================

一些關於「gnome-shell」的討論案例連結,之前有紀錄在「#22 回覆: Ubuntu 17.10 推出

================================================================================

以上提供參考

報告完畢


2018/12/24 23:08
應用擴展 工具箱


 [無發表權] 請登錄或者註冊


可以查看帖子.
不可發帖.
不可回覆.
不可編輯自己的帖子.
不可刪除自己的帖子.
不可發起投票調查.
不可在投票調查中投票.
不可上傳附件.
不可不經審核直接發帖.