profile: format

This commit is contained in:
Daniel Olsen 2022-06-05 15:49:19 +02:00
parent a19fbdb47d
commit 3123abee3a
1 changed files with 18 additions and 17 deletions

View File

@ -17,9 +17,8 @@ let
keywords = [ "Text" "editor" ]; keywords = [ "Text" "editor" ];
startupNotify = false; startupNotify = false;
}; };
in
in { {
options.machine = { options.machine = {
name = lib.mkOption { name = lib.mkOption {
type = lib.types.str; type = lib.types.str;
@ -76,10 +75,12 @@ in {
mpv mpv
sxiv sxiv
dolphin plasma5Packages.dolphin-plugins dolphin
plasma5Packages.dolphin-plugins
ffmpegthumbs ffmpegthumbs
plasma5Packages.kdegraphics-thumbnailers plasma5Packages.kdegraphics-thumbnailers
plasma5Packages.kio plasma5Packages.kio-extras plasma5Packages.kio
plasma5Packages.kio-extras
krename krename
konsole # https://bugs.kde.org/show_bug.cgi?id=407990 reeee konsole # https://bugs.kde.org/show_bug.cgi?id=407990 reeee