1
0
mirror of https://github.com/nix-community/home-manager synced 2024-06-14 02:33:38 +02:00

rofi: set configPath defaultText to avoid rebuilds

This commit is contained in:
Nikita Uvarov 2018-10-12 10:52:41 +02:00
parent f947fafec9
commit 52b9363745
No known key found for this signature in database
GPG Key ID: F7A5FB3A7C10EF96

View File

@ -281,6 +281,7 @@ in
configPath = mkOption {
default = "${config.xdg.configHome}/rofi/config";
defaultText = "$XDG_CONFIG_HOME/rofi/config";
type = types.string;
description = "Path where to put generated configuration file.";
};