config/users/pbsds/home/profiles/gnome/dconf-pull.sh

47 lines
1.3 KiB
Bash
Raw Normal View History

2023-03-11 00:30:24 +01:00
#!/usr/bin/env nix-shell
#!nix-shell -i bash -p dconf2nix sd
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"
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"
} | 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
{
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