From 042a69e9b900338c8a64d035571dd0891bbe1e23 Mon Sep 17 00:00:00 2001 From: Gabriel Volpe Date: Thu, 17 Sep 2020 18:25:16 +0200 Subject: [PATCH] No quotes on keys --- output/dconf.nix | 352 +++++++++++++++++++++++------------------------ src/Nix.hs | 2 +- 2 files changed, 177 insertions(+), 177 deletions(-) diff --git a/output/dconf.nix b/output/dconf.nix index 09cd490..57ac134 100644 --- a/output/dconf.nix +++ b/output/dconf.nix @@ -7,371 +7,371 @@ in { dconf.settings = { "org/virt-manager/virt-manager/urls" = { - "isos" = [ "/home/bbigras/Downloads/something {ddsa}" ]; + isos = [ "/home/bbigras/Downloads/something {ddsa}" ]; }; "org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9" = { - "foo" = true; + foo = true; }; "org/gnome/desktop/interface" = { - "clock-show-weekday" = true; - "document-font-name" = "JetBrainsMono Nerd Font 11"; - "enable-hot-corners" = false; - "font-name" = "JetBrainsMono Nerd Font 11"; - "gtk-im-module" = "gtk-im-context-simple"; - "gtk-theme" = "Adwaita-dark"; - "icon-theme" = "Adwaita"; - "monospace-font-name" = "JetBrainsMono Nerd Font 10"; - "show-battery-percentage" = true; + clock-show-weekday = true; + document-font-name = "JetBrainsMono Nerd Font 11"; + enable-hot-corners = false; + font-name = "JetBrainsMono Nerd Font 11"; + gtk-im-module = "gtk-im-context-simple"; + gtk-theme = "Adwaita-dark"; + icon-theme = "Adwaita"; + monospace-font-name = "JetBrainsMono Nerd Font 10"; + show-battery-percentage = true; }; "org/gnome/desktop/peripherals/mouse" = { - "natural-scroll" = false; - "speed" = -0.5; + natural-scroll = false; + speed = -0.5; }; "org/gnome/desktop/peripherals/touchpad" = { - "tap-to-click" = false; - "two-finger-scrolling-enabled" = true; + tap-to-click = false; + two-finger-scrolling-enabled = true; }; "org/gnome/desktop/screensaver" = { - "picture-uri" = "file:///home/gvolpe/Pictures/nixos.png"; + picture-uri = "file:///home/gvolpe/Pictures/nixos.png"; }; "org/gnome/desktop/sound" = { - "allow-volume-above-100-percent" = true; - "event-sounds" = true; + allow-volume-above-100-percent = true; + event-sounds = true; }; "org/gnome/desktop/wm/keybindings" = { - "close" = [ "w" ]; - "switch-applications" = "@as []"; - "switch-applications-backward" = "@as []"; - "switch-windows" = [ "Tab" ]; - "switch-windows-backward" = [ "Tab" ]; + close = [ "w" ]; + switch-applications = "@as []"; + switch-applications-backward = "@as []"; + switch-windows = [ "Tab" ]; + switch-windows-backward = [ "Tab" ]; }; "org/gnome/desktop/wm/preferences" = { - "button-layout" = "close,minimize,maximize:"; - "titlebar-font" = "JetBrainsMono Nerd Font Mono 11"; - "workspace-names" = "@as []"; + button-layout = "close,minimize,maximize:"; + titlebar-font = "JetBrainsMono Nerd Font Mono 11"; + workspace-names = "@as []"; }; "ca/desrt/dconf-editor" = { - "saved-pathbar-path" = "/org/gnome/desktop/input-sources/"; - "saved-view" = "/org/gnome/desktop/input-sources/"; - "window-height" = 709; - "window-is-maximized" = false; - "window-width" = 785; + saved-pathbar-path = "/org/gnome/desktop/input-sources/"; + saved-view = "/org/gnome/desktop/input-sources/"; + window-height = 709; + window-is-maximized = false; + window-width = 785; }; "org/gnome/control-center" = { - "last-panel" = "sound"; + last-panel = "sound"; }; "org/gnome/desktop/app-folders" = { - "folder-children" = [ "Utilities" "YaST" ]; + folder-children = [ "Utilities" "YaST" ]; }; "org/gnome/desktop/app-folders/folders/Utilities" = { - "apps" = [ "gnome-abrt.desktop" "gnome-system-log.desktop" "gnome-system-monitor.desktop" "gucharmap.desktop" "nm-connection-editor.desktop" "org.gnome.baobab.desktop" "org.gnome.Calculator.desktop" "org.gnome.DejaDup.desktop" "org.gnome.Dictionary.desktop" "org.gnome.DiskUtility.desktop" "org.gnome.eog.desktop" "org.gnome.Evince.desktop" "org.gnome.FileRoller.desktop" "org.gnome.fonts.desktop" "org.gnome.Screenshot.desktop" "org.gnome.seahorse.Application.desktop" "org.gnome.Terminal.desktop" "org.gnome.tweaks.desktop" "org.gnome.Usage.desktop" "simple-scan.desktop" "vinagre.desktop" "yelp.desktop" ]; - "categories" = [ "X-GNOME-Utilities" ]; - "name" = "X-GNOME-Utilities.directory"; - "translate" = true; + apps = [ "gnome-abrt.desktop" "gnome-system-log.desktop" "gnome-system-monitor.desktop" "gucharmap.desktop" "nm-connection-editor.desktop" "org.gnome.baobab.desktop" "org.gnome.Calculator.desktop" "org.gnome.DejaDup.desktop" "org.gnome.Dictionary.desktop" "org.gnome.DiskUtility.desktop" "org.gnome.eog.desktop" "org.gnome.Evince.desktop" "org.gnome.FileRoller.desktop" "org.gnome.fonts.desktop" "org.gnome.Screenshot.desktop" "org.gnome.seahorse.Application.desktop" "org.gnome.Terminal.desktop" "org.gnome.tweaks.desktop" "org.gnome.Usage.desktop" "simple-scan.desktop" "vinagre.desktop" "yelp.desktop" ]; + categories = [ "X-GNOME-Utilities" ]; + name = "X-GNOME-Utilities.directory"; + translate = true; }; "org/gnome/desktop/app-folders/folders/YaST" = { - "categories" = [ "X-SuSE-YaST" ]; - "name" = "suse-yast.directory"; - "translate" = true; + categories = [ "X-SuSE-YaST" ]; + name = "suse-yast.directory"; + translate = true; }; "org/gnome/desktop/background" = { - "color-shading-type" = "solid"; - "picture-options" = "zoom"; - "picture-uri" = "file:///home/gvolpe/Pictures/nixos.png"; - "primary-color" = "#000000000000"; - "secondary-color" = "#000000000000"; + color-shading-type = "solid"; + picture-options = "zoom"; + picture-uri = "file:///home/gvolpe/Pictures/nixos.png"; + primary-color = "#000000000000"; + secondary-color = "#000000000000"; }; "org/gnome/desktop/input-sources" = { - "current" = "uint32 0"; - "sources" = [ (mkTuple [ "xkb" "us" ]) ]; - "xkb-options" = [ "terminate:ctrl_alt_bksp" "lv3:ralt_switch" "caps:ctrl_modifier" ]; + current = "uint32 0"; + sources = [ (mkTuple [ "xkb" "us" ]) ]; + xkb-options = [ "terminate:ctrl_alt_bksp" "lv3:ralt_switch" "caps:ctrl_modifier" ]; }; "org/gnome/desktop/interface" = { - "clock-show-weekday" = true; - "document-font-name" = "JetBrainsMono Nerd Font 11"; - "enable-hot-corners" = false; - "font-name" = "JetBrainsMono Nerd Font 11"; - "gtk-im-module" = "gtk-im-context-simple"; - "gtk-theme" = "Adwaita-dark"; - "icon-theme" = "Adwaita"; - "monospace-font-name" = "JetBrainsMono Nerd Font 10"; - "show-battery-percentage" = true; + clock-show-weekday = true; + document-font-name = "JetBrainsMono Nerd Font 11"; + enable-hot-corners = false; + font-name = "JetBrainsMono Nerd Font 11"; + gtk-im-module = "gtk-im-context-simple"; + gtk-theme = "Adwaita-dark"; + icon-theme = "Adwaita"; + monospace-font-name = "JetBrainsMono Nerd Font 10"; + show-battery-percentage = true; }; "org/gnome/desktop/notifications" = { - "application-children" = [ "gnome-network-panel" "spotify" "slack" "gnome-power-panel" "org-gnome-tweaks" "chromium-browser" "telegramdesktop" "chrome-knipolnnllmklapflnccelgolnpehhpl-default" ]; + application-children = [ "gnome-network-panel" "spotify" "slack" "gnome-power-panel" "org-gnome-tweaks" "chromium-browser" "telegramdesktop" "chrome-knipolnnllmklapflnccelgolnpehhpl-default" ]; }; "org/gnome/desktop/notifications/application/chrome-knipolnnllmklapflnccelgolnpehhpl-default" = { - "application-id" = "chrome-knipolnnllmklapflnccelgolnpehhpl-Default.desktop"; + application-id = "chrome-knipolnnllmklapflnccelgolnpehhpl-Default.desktop"; }; "org/gnome/desktop/notifications/application/chromium-browser" = { - "application-id" = "chromium-browser.desktop"; + application-id = "chromium-browser.desktop"; }; "org/gnome/desktop/notifications/application/gnome-network-panel" = { - "application-id" = "gnome-network-panel.desktop"; + application-id = "gnome-network-panel.desktop"; }; "org/gnome/desktop/notifications/application/gnome-power-panel" = { - "application-id" = "gnome-power-panel.desktop"; + application-id = "gnome-power-panel.desktop"; }; "org/gnome/desktop/notifications/application/org-gnome-tweaks" = { - "application-id" = "org.gnome.tweaks.desktop"; + application-id = "org.gnome.tweaks.desktop"; }; "org/gnome/desktop/notifications/application/slack" = { - "application-id" = "slack.desktop"; + application-id = "slack.desktop"; }; "org/gnome/desktop/notifications/application/spotify" = { - "application-id" = "spotify.desktop"; + application-id = "spotify.desktop"; }; "org/gnome/desktop/notifications/application/telegramdesktop" = { - "application-id" = "telegramdesktop.desktop"; + application-id = "telegramdesktop.desktop"; }; "org/gnome/desktop/peripherals/mouse" = { - "natural-scroll" = false; - "speed" = -0.5; + natural-scroll = false; + speed = -0.5; }; "org/gnome/desktop/peripherals/touchpad" = { - "tap-to-click" = false; - "two-finger-scrolling-enabled" = true; + tap-to-click = false; + two-finger-scrolling-enabled = true; }; "org/gnome/desktop/privacy" = { - "report-technical-problems" = true; + report-technical-problems = true; }; "org/gnome/desktop/screensaver" = { - "picture-uri" = "file:///home/gvolpe/Pictures/nixos.png"; + picture-uri = "file:///home/gvolpe/Pictures/nixos.png"; }; "org/gnome/desktop/search-providers" = { - "sort-order" = [ "org.gnome.Contacts.desktop" "org.gnome.Documents.desktop" "org.gnome.Nautilus.desktop" ]; + sort-order = [ "org.gnome.Contacts.desktop" "org.gnome.Documents.desktop" "org.gnome.Nautilus.desktop" ]; }; "org/gnome/desktop/session" = { - "idle-delay" = "uint32 0"; + idle-delay = "uint32 0"; }; "org/gnome/desktop/sound" = { - "allow-volume-above-100-percent" = true; - "event-sounds" = true; + allow-volume-above-100-percent = true; + event-sounds = true; }; "org/gnome/desktop/wm/keybindings" = { - "close" = [ "w" ]; + close = [ "w" ]; }; "org/gnome/desktop/wm/preferences" = { - "button-layout" = "close,minimize,maximize:"; - "num-workspaces" = 4; - "titlebar-font" = "JetBrainsMono Nerd Font Mono 11"; - "workspace-names" = "@as []"; + button-layout = "close,minimize,maximize:"; + num-workspaces = 4; + titlebar-font = "JetBrainsMono Nerd Font Mono 11"; + workspace-names = "@as []"; }; "org/gnome/eog/view" = { - "background-color" = "rgb(0,0,0)"; - "use-background-color" = true; + background-color = "rgb(0,0,0)"; + use-background-color = true; }; "org/gnome/epiphany/state" = { - "is-maximized" = false; - "window-position" = mkTuple [ (-1) (-1) ]; - "window-size" = mkTuple [ 1024 768 ]; + is-maximized = false; + window-position = mkTuple [ (-1) (-1) ]; + window-size = mkTuple [ 1024 768 ]; }; "org/gnome/evince/default" = { - "window-ratio" = mkTuple [ 1.0081699346405228 0.7121212121212122 ]; + window-ratio = mkTuple [ 1.0081699346405228 0.7121212121212122 ]; }; "org/gnome/evolution-data-server" = { - "migrated" = true; - "network-monitor-gio-name" = ""; + migrated = true; + network-monitor-gio-name = ""; }; "org/gnome/file-roller/listing" = { - "list-mode" = "as-folder"; - "name-column-width" = 250; - "show-path" = false; - "sort-method" = "name"; - "sort-type" = "ascending"; + list-mode = "as-folder"; + name-column-width = 250; + show-path = false; + sort-method = "name"; + sort-type = "ascending"; }; "org/gnome/file-roller/ui" = { - "sidebar-width" = 200; - "window-height" = 480; - "window-width" = 600; + sidebar-width = 200; + window-height = 480; + window-width = 600; }; "org/gnome/gnome-screenshot" = { - "border-effect" = "none"; - "delay" = 0; - "include-border" = true; - "include-pointer" = false; - "last-save-directory" = "file:///home/gvolpe/Pictures"; + border-effect = "none"; + delay = 0; + include-border = true; + include-pointer = false; + last-save-directory = "file:///home/gvolpe/Pictures"; }; "org/gnome/mutter" = { - "attach-modal-dialogs" = true; - "dynamic-workspaces" = true; - "edge-tiling" = true; - "focus-change-on-pointer-rest" = true; - "workspaces-only-on-primary" = true; + attach-modal-dialogs = true; + dynamic-workspaces = true; + edge-tiling = true; + focus-change-on-pointer-rest = true; + workspaces-only-on-primary = true; }; "org/gnome/nautilus/icon-view" = { - "default-zoom-level" = "small"; + default-zoom-level = "small"; }; "org/gnome/nautilus/preferences" = { - "default-folder-viewer" = "icon-view"; - "search-filter-time-type" = "last_modified"; - "search-view" = "list-view"; + default-folder-viewer = "icon-view"; + search-filter-time-type = "last_modified"; + search-view = "list-view"; }; "org/gnome/nautilus/window-state" = { - "initial-size" = mkTuple [ 890 550 ]; - "maximized" = false; - "sidebar-width" = 189; + initial-size = mkTuple [ 890 550 ]; + maximized = false; + sidebar-width = 189; }; "org/gnome/settings-daemon/plugins/media-keys" = { - "custom-keybindings" = [ "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/" ]; + custom-keybindings = [ "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/" ]; }; "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0" = { - "binding" = "t"; - "command" = "terminator"; - "name" = "terminator"; + binding = "t"; + command = "terminator"; + name = "terminator"; }; "org/gnome/settings-daemon/plugins/power" = { - "sleep-inactive-ac-type" = "nothing"; - "sleep-inactive-battery-type" = "nothing"; + sleep-inactive-ac-type = "nothing"; + sleep-inactive-battery-type = "nothing"; }; "org/gnome/settings-daemon/plugins/xsettings" = { - "antialiasing" = "grayscale"; - "hinting" = "slight"; + antialiasing = "grayscale"; + hinting = "slight"; }; "org/gnome/shell" = { - "command-history" = [ "gnome-tweaks" ]; - "disabled-extensions" = [ "apps-menu@gnome-shell-extensions.gcampax.github.com" "places-menu@gnome-shell-extensions.gcampax.github.com" "window-list@gnome-shell-extensions.gcampax.github.com" "windowsNavigator@gnome-shell-extensions.gcampax.github.com" ]; - "enabled-extensions" = [ "horizontal-workspaces@gnome-shell-extensions.gcampax.github.com" "drive-menu@gnome-shell-extensions.gcampax.github.com" "screenshot-window-sizer@gnome-shell-extensions.gcampax.github.com" "workspace-indicator@gnome-shell-extensions.gcampax.github.com" "user-theme@gnome-shell-extensions.gcampax.github.com" "dash-to-dock@micxgx.gmail.com" "timepp@zagortenay333" "TopIcons@phocean.net" ]; - "favorite-apps" = [ "chromium-browser.desktop" "spotify.desktop" "slack.desktop" "telegramdesktop.desktop" "org.gnome.Nautilus.desktop" "org.gnome.tweaks.desktop" "terminator.desktop" ]; + command-history = [ "gnome-tweaks" ]; + disabled-extensions = [ "apps-menu@gnome-shell-extensions.gcampax.github.com" "places-menu@gnome-shell-extensions.gcampax.github.com" "window-list@gnome-shell-extensions.gcampax.github.com" "windowsNavigator@gnome-shell-extensions.gcampax.github.com" ]; + enabled-extensions = [ "horizontal-workspaces@gnome-shell-extensions.gcampax.github.com" "drive-menu@gnome-shell-extensions.gcampax.github.com" "screenshot-window-sizer@gnome-shell-extensions.gcampax.github.com" "workspace-indicator@gnome-shell-extensions.gcampax.github.com" "user-theme@gnome-shell-extensions.gcampax.github.com" "dash-to-dock@micxgx.gmail.com" "timepp@zagortenay333" "TopIcons@phocean.net" ]; + favorite-apps = [ "chromium-browser.desktop" "spotify.desktop" "slack.desktop" "telegramdesktop.desktop" "org.gnome.Nautilus.desktop" "org.gnome.tweaks.desktop" "terminator.desktop" ]; }; "org/gnome/shell/extensions/dash-to-dock" = { - "dock-fixed" = false; - "dock-position" = "BOTTOM"; + dock-fixed = false; + dock-position = "BOTTOM"; }; "org/gnome/shell/extensions/dash-to-dock" = { - "background-opacity" = 0.8; - "custom-theme-shrink" = false; - "dash-max-icon-size" = 48; - "dock-fixed" = false; - "dock-position" = "BOTTOM"; - "extend-height" = false; - "force-straight-corner" = false; - "height-fraction" = 0.9; - "hot-keys" = false; - "icon-size-fixed" = false; - "intellihide-mode" = "FOCUS_APPLICATION_WINDOWS"; - "isolate-workspaces" = true; - "running-indicator-style" = "DEFAULT"; - "show-trash" = false; - "transparency-mode" = "DEFAULT"; + background-opacity = 0.8; + custom-theme-shrink = false; + dash-max-icon-size = 48; + dock-fixed = false; + dock-position = "BOTTOM"; + extend-height = false; + force-straight-corner = false; + height-fraction = 0.9; + hot-keys = false; + icon-size-fixed = false; + intellihide-mode = "FOCUS_APPLICATION_WINDOWS"; + isolate-workspaces = true; + running-indicator-style = "DEFAULT"; + show-trash = false; + transparency-mode = "DEFAULT"; }; "org/gnome/shell/extensions/desktop-icons" = { - "show-home" = false; - "show-trash" = false; + show-home = false; + show-trash = false; }; "org/gnome/shell/extensions/desktop-icons" = { - "show-home" = false; - "show-trash" = false; + show-home = false; + show-trash = false; }; "org/gnome/shell/extensions/timepp" = { - "alarms-fullscreen-monitor-pos" = 0; - "alarms-sound-file-path" = "file:///home/gvolpe/.nix-profile/share/gnome-shell/extensions/timepp@zagortenay333/data/sounds/beeps.ogg"; - "pomodoro-fullscreen-monitor-pos" = 0; - "pomodoro-sound-file-path-long-break" = "file:///home/gvolpe/.nix-profile/share/gnome-shell/extensions/timepp@zagortenay333/data/sounds/beeps.ogg"; - "pomodoro-sound-file-path-pomo" = "file:///home/gvolpe/.nix-profile/share/gnome-shell/extensions/timepp@zagortenay333/data/sounds/beeps.ogg"; - "pomodoro-sound-file-path-short-break" = "file:///home/gvolpe/.nix-profile/share/gnome-shell/extensions/timepp@zagortenay333/data/sounds/beeps.ogg"; - "stopwatch-fullscreen-monitor-pos" = 0; - "timer-fullscreen-monitor-pos" = 0; - "timer-sound-file-path" = "file:///home/gvolpe/.nix-profile/share/gnome-shell/extensions/timepp@zagortenay333/data/sounds/beeps.ogg"; + alarms-fullscreen-monitor-pos = 0; + alarms-sound-file-path = "file:///home/gvolpe/.nix-profile/share/gnome-shell/extensions/timepp@zagortenay333/data/sounds/beeps.ogg"; + pomodoro-fullscreen-monitor-pos = 0; + pomodoro-sound-file-path-long-break = "file:///home/gvolpe/.nix-profile/share/gnome-shell/extensions/timepp@zagortenay333/data/sounds/beeps.ogg"; + pomodoro-sound-file-path-pomo = "file:///home/gvolpe/.nix-profile/share/gnome-shell/extensions/timepp@zagortenay333/data/sounds/beeps.ogg"; + pomodoro-sound-file-path-short-break = "file:///home/gvolpe/.nix-profile/share/gnome-shell/extensions/timepp@zagortenay333/data/sounds/beeps.ogg"; + stopwatch-fullscreen-monitor-pos = 0; + timer-fullscreen-monitor-pos = 0; + timer-sound-file-path = "file:///home/gvolpe/.nix-profile/share/gnome-shell/extensions/timepp@zagortenay333/data/sounds/beeps.ogg"; }; "org/gnome/shell/extensions/user-theme" = { - "name" = ""; + name = ""; }; "org/gnome/shell/world-clocks" = { - "locations" = "@av []"; + locations = "@av []"; }; "org/gnome/software" = { - "check-timestamp" = "int64 1592897410"; + check-timestamp = "int64 1592897410"; }; "org/gnome/system/location" = { - "enabled" = false; + enabled = false; }; "org/gtk/settings/file-chooser" = { - "date-format" = "regular"; - "location-mode" = "path-bar"; - "show-hidden" = false; - "show-size-column" = true; - "show-type-column" = true; - "sidebar-width" = 189; - "sort-column" = "name"; - "sort-directories-first" = false; - "sort-order" = "ascending"; - "type-format" = "category"; - "window-position" = mkTuple [ 345 79 ]; - "window-size" = mkTuple [ 1231 902 ]; + date-format = "regular"; + location-mode = "path-bar"; + show-hidden = false; + show-size-column = true; + show-type-column = true; + sidebar-width = 189; + sort-column = "name"; + sort-directories-first = false; + sort-order = "ascending"; + type-format = "category"; + window-position = mkTuple [ 345 79 ]; + window-size = mkTuple [ 1231 902 ]; }; "org/gnome/Weather" = { - "locations" = "[<(uint32 2, <('Gdańsk', 'EPGD', true, [(0.94916821905848536, 0.32230414101938371)], [(0.94858644845891815, 0.32579479952337237)])>)>, <(uint32 2, <('Gdynia, Działdowo County, Warmian-Masurian Voivodeship', '', false, [(0.93027949445787339, 0.34699627038777753)], [(0.93861053042695397, 0.35744550775024858)])>)>, <(uint32 2, <('Gdynia, Pomeranian Voivodeship', '', false, [(0.95149239024756216, 0.32358882203124067)], [(0.94858644845891815, 0.32579479952337237)])>)>]"; + locations = "[<(uint32 2, <('Gdańsk', 'EPGD', true, [(0.94916821905848536, 0.32230414101938371)], [(0.94858644845891815, 0.32579479952337237)])>)>, <(uint32 2, <('Gdynia, Działdowo County, Warmian-Masurian Voivodeship', '', false, [(0.93027949445787339, 0.34699627038777753)], [(0.93861053042695397, 0.35744550775024858)])>)>, <(uint32 2, <('Gdynia, Pomeranian Voivodeship', '', false, [(0.95149239024756216, 0.32358882203124067)], [(0.94858644845891815, 0.32579479952337237)])>)>]"; }; "org/gnome/shell/weather" = { - "automatic-location" = true; - "locations" = "[<(uint32 2, <('Gdańsk', 'EPGD', true, [(0.94916821905848536, 0.32230414101938371)], [(0.94858644845891815, 0.32579479952337237)])>)>, <(uint32 2, <('Gdynia, Działdowo County, Warmian-Masurian Voivodeship', '', false, [(0.93027949445787339, 0.34699627038777753)], [(0.93861053042695397, 0.35744550775024858)])>)>, <(uint32 2, <('Gdynia, Pomeranian Voivodeship', '', false, [(0.95149239024756216, 0.32358882203124067)], [(0.94858644845891815, 0.32579479952337237)])>)>]"; + automatic-location = true; + locations = "[<(uint32 2, <('Gdańsk', 'EPGD', true, [(0.94916821905848536, 0.32230414101938371)], [(0.94858644845891815, 0.32579479952337237)])>)>, <(uint32 2, <('Gdynia, Działdowo County, Warmian-Masurian Voivodeship', '', false, [(0.93027949445787339, 0.34699627038777753)], [(0.93861053042695397, 0.35744550775024858)])>)>, <(uint32 2, <('Gdynia, Pomeranian Voivodeship', '', false, [(0.95149239024756216, 0.32358882203124067)], [(0.94858644845891815, 0.32579479952337237)])>)>]"; }; "system/locale" = { - "region" = "en_US.UTF-8"; + region = "en_US.UTF-8"; }; }; diff --git a/src/Nix.hs b/src/Nix.hs index fd7a710..88b9a8b 100644 --- a/src/Nix.hs +++ b/src/Nix.hs @@ -34,7 +34,7 @@ renderEntry :: Entry -> Nix renderEntry (Entry h c) = let header = " \"" <> h <> "\" = {\n" body = Map.toList c >>= \(Key k, v) -> - T.unpack $ " \"" <> k <> "\" = " <> unNix (renderValue v) <> "\n" + T.unpack $ " " <> k <> " = " <> unNix (renderValue v) <> "\n" close = " };\n\n" in Nix $ header <> T.pack body <> close