diff options
author | Thomas Tuegel <ttuegel@mailbox.org> | 2018-02-02 06:30:25 -0600 |
---|---|---|
committer | Thomas Tuegel <ttuegel@mailbox.org> | 2018-02-04 13:31:04 -0600 |
commit | 77a607aa88d505f5ad54624ebeea83b320792e4a (patch) | |
tree | 7437ffa7d721c56435cf3ecde01b31be5daac610 /nixos/modules/services/x11/desktop-managers | |
parent | d78f9f030b5dc197c90ef279cfa1f69214420d06 (diff) | |
download | nixlib-77a607aa88d505f5ad54624ebeea83b320792e4a.tar nixlib-77a607aa88d505f5ad54624ebeea83b320792e4a.tar.gz nixlib-77a607aa88d505f5ad54624ebeea83b320792e4a.tar.bz2 nixlib-77a607aa88d505f5ad54624ebeea83b320792e4a.tar.lz nixlib-77a607aa88d505f5ad54624ebeea83b320792e4a.tar.xz nixlib-77a607aa88d505f5ad54624ebeea83b320792e4a.tar.zst nixlib-77a607aa88d505f5ad54624ebeea83b320792e4a.zip |
nixos/plasma5: Fix font style names in kdeglobals
Diffstat (limited to 'nixos/modules/services/x11/desktop-managers')
-rw-r--r-- | nixos/modules/services/x11/desktop-managers/plasma5.nix | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/nixos/modules/services/x11/desktop-managers/plasma5.nix b/nixos/modules/services/x11/desktop-managers/plasma5.nix index 17a2cde3a65d..4c76ce0bb195 100644 --- a/nixos/modules/services/x11/desktop-managers/plasma5.nix +++ b/nixos/modules/services/x11/desktop-managers/plasma5.nix @@ -47,6 +47,18 @@ in ${getBin config.hardware.pulseaudio.package}/bin/pactl load-module module-device-manager "do_routing=1" ''} + if [ -f "$HOME/.config/kdeglobals" ] + then + # Remove extraneous font style names. + # See also: https://phabricator.kde.org/D9070 + ${getBin pkgs.gnused}/bin/sed -i "$HOME/.config/kdeglobals" \ + -e '/^fixed=/ s/,Regular$//' \ + -e '/^font=/ s/,Regular$//' \ + -e '/^menuFont=/ s/,Regular$//' \ + -e '/^smallestReadableFont=/ s/,Regular$//' \ + -e '/^toolBarFont=/ s/,Regular$//' + fi + exec "${getBin plasma5.plasma-workspace}/bin/startkde" ''; }; |