Skip to content

Instantly share code, notes, and snippets.

@metainfa
Last active May 31, 2017 10:35
Show Gist options
  • Save metainfa/a3892d868c833c4a6443e5f838c23b5e to your computer and use it in GitHub Desktop.
Save metainfa/a3892d868c833c4a6443e5f838c23b5e to your computer and use it in GitHub Desktop.
# gnome-desktop.conf.yaml
- shell:
# Sets gnome-terminal as terminal emulator
- [gsettings set org.gnome.desktop.default-applications.terminal exec gnome-terminal]
- [gsettings set org.gnome.desktop.default-applications.terminal exec-arg '']
# I think this changes Caps to Ctrl
- [gsettings set org.gnome.desktop.input-sources xkb-options "['ctrl:modifier']"]
# Keyboard shortcuts
- [org.gnome.settings-daemon.plugins.media-keys www '<Super>c']
- [org.gnome.settings-daemon.plugins.media-keys email '<Super>m']
- [org.gnome.settings-daemon.plugins.media-keys home '<Super>e']
- shell: LANGUAGE=C LC_MESSAGES=C xdg-user-dirs-gtk-update
- command: gsettings set org.gnome.desktop.input-sources sources "[('ibus', 'mozc-jp'), ('xkb', 'jp')]"
- command: gsettings set org.gnome.desktop.input-sources xkb-options "['ctrl:nocaps']"
- command: gsettings set org.gnome.desktop.wm.preferences button-layout ":minimize,maximize,close"
- command: gsettings set org.gnome.desktop.peripherals.touchpad send-events "disabled"
# これでビープ音を無効にできるが、「サウンド」-「音響効果」-「警告音の音量」は"オン"のまま.
- command: gsettings set org.gnome.desktop.wm.preferences audible-bell false
- command: gsettings set org.gnome.shell enabled-extensions "['[email protected]', '[email protected]', '[email protected]']"
- command: gsettings set org.gnome.shell favorite-apps "['gnome-terminal.desktop', 'org.gnome.Nautilus.desktop', 'google-chrome.desktop', 'gvim.desktop', 'eclipse.desktop', 'wine-Programs-Amazon-Amazon Kindle-Kindle.desktop', 'wine-Programs-LICEcap-LICEcap.desktop']"
- command: gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/']"
- command: gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ name gnome-terminal
- command: gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ command gnome-terminal
- command: gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ binding Launch1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment