2023-12-09 20:29:33 -05:00
|
|
|
{
|
|
|
|
|
config,
|
|
|
|
|
pkgs,
|
|
|
|
|
...
|
|
|
|
|
}: {
|
2023-12-04 10:05:25 -05:00
|
|
|
environment.systemPackages = with pkgs; [
|
|
|
|
|
plasma5Packages.kio-admin
|
|
|
|
|
];
|
|
|
|
|
|
2023-12-09 20:29:33 -05:00
|
|
|
home-manager.users.${config.vars.user}.home.packages = with pkgs;
|
|
|
|
|
[]
|
2023-12-04 10:05:25 -05:00
|
|
|
++ (with pkgs.plasma5Packages; [
|
|
|
|
|
ark
|
|
|
|
|
kcharselect
|
|
|
|
|
kdenlive
|
|
|
|
|
okular
|
|
|
|
|
|
|
|
|
|
# Dolphin & co
|
|
|
|
|
dolphin
|
|
|
|
|
dolphin-plugins
|
|
|
|
|
kdegraphics-thumbnailers
|
|
|
|
|
ffmpegthumbs
|
|
|
|
|
kio
|
|
|
|
|
kio-admin # needs to be both here and in system pkgs
|
|
|
|
|
kio-extras
|
|
|
|
|
kmime
|
|
|
|
|
])
|
|
|
|
|
++ (with pkgs.gnome; [
|
|
|
|
|
gnome-calculator
|
|
|
|
|
]);
|
|
|
|
|
}
|
