2023-03-11 00:30:24 +01:00
|
|
|
#!/usr/bin/env nix-shell
|
2024-09-27 09:05:39 +02:00
|
|
|
#!nix-shell -i bash -p dconf2nix sd nixfmt-rfc-style
|
2023-03-11 00:30:24 +01:00
|
|
|
set -euo pipefail
|
|
|
|
cd "$(dirname "${BASH_SOURCE[0]}")"
|
|
|
|
|
|
|
|
dump() {
|
|
|
|
ROOT="$1"
|
|
|
|
shift
|
|
|
|
dconf dump "/$ROOT/" \
|
|
|
|
| sd '^\[([^/])' "[$ROOT/\$1" \
|
|
|
|
| sd '^\[/\]$' "[$ROOT]"
|
|
|
|
}
|
2023-06-18 22:26:03 +02:00
|
|
|
dump1() {
|
|
|
|
dump "$@" | sed -e '/^$/,$d'
|
|
|
|
}
|
2023-03-11 00:30:24 +01:00
|
|
|
|
|
|
|
{
|
2023-12-09 22:40:01 +01:00
|
|
|
dump "org/gnome/desktop/input-sources"
|
2024-04-19 22:54:21 +02:00
|
|
|
dump "org/gnome/desktop/peripherals/touchpad"
|
2023-03-11 00:30:24 +01:00
|
|
|
dump "org/gnome/desktop/wm/keybindings"
|
|
|
|
dump "org/gnome/mutter/keybindings"
|
|
|
|
dump "org/gnome/shell/keybindings"
|
|
|
|
dump "org/gnome/settings-daemon/plugins/media-keys"
|
2024-10-07 11:39:06 +02:00
|
|
|
# dump "org/gnome/desktop/notifications/application/emote"
|
2023-03-11 00:30:24 +01:00
|
|
|
} | dconf2nix > dconf-gnome-bindings.nix
|
|
|
|
|
|
|
|
{
|
|
|
|
#dump "org/gnome/shell"
|
2023-06-13 01:04:58 +02:00
|
|
|
dump "org/gnome/shell/extensions/vertical-workspaces"
|
|
|
|
#dump "org/gnome/shell/extensions/vertical-overview"
|
2023-03-11 00:30:24 +01:00
|
|
|
dump "org/gnome/shell/extensions/big-avatar"
|
|
|
|
dump "org/gnome/shell/extensions/gtile"
|
|
|
|
dump "org/gnome/shell/extensions/just-perfection"
|
|
|
|
} | dconf2nix > dconf-gnome-extensions.nix
|
|
|
|
|
2024-10-08 19:55:46 +02:00
|
|
|
{
|
|
|
|
dump "org/gnome/desktop/search-providers"
|
|
|
|
dump "org/freedesktop/tracker/miner/files"
|
|
|
|
} | dconf2nix > dconf-gnome-behaviour.nix
|
|
|
|
|
2023-03-11 00:30:24 +01:00
|
|
|
{
|
|
|
|
dump "org/gnome/shell/extensions/user-theme"
|
|
|
|
dump "org/gnome/desktop/interface" # features stuff already set by home-manager
|
|
|
|
dump "org/gnome/desktop/wm/preferences"
|
|
|
|
dump "org/gnome/shell/overrides"
|
|
|
|
dump "org/gnome/tweaks"
|
2023-06-18 22:26:03 +02:00
|
|
|
dump1 "org/gnome/mutter"
|
2023-03-11 00:30:24 +01:00
|
|
|
dump "org/gnome/desktop/calendar"
|
|
|
|
dump "org/gnome/desktop/privacy"
|
|
|
|
} | dconf2nix | sd --string-mode \
|
|
|
|
'"/org/gnome/desktop/interface" = {' \
|
|
|
|
'"/org/gnome/desktop/interface" = lib.mkDefault {' \
|
|
|
|
> dconf-gnome-theme.nix
|
2024-09-27 09:05:39 +02:00
|
|
|
|
|
|
|
nixfmt dconf-gnome-bindings.nix
|
|
|
|
nixfmt dconf-gnome-extensions.nix
|
|
|
|
nixfmt dconf-gnome-theme.nix
|
2024-10-08 19:55:46 +02:00
|
|
|
nixfmt dconf-gnome-behaviour.nix
|