more cli tools #132

Merged
DarkKirb merged 5 commits from more-cli-tools into main 2023-01-03 17:49:14 +00:00
2 changed files with 25 additions and 8 deletions
Showing only changes of commit 902c73eb63 - Show all commits

View file

@ -19,6 +19,7 @@ desktop: {pkgs, ...}: {
plugins = [
];
};
autojump.enable = true;
};
home.file.".p10k.zsh".source = ./.p10k.zsh;
@ -41,10 +42,18 @@ desktop: {pkgs, ...}: {
gh
htop
sops
ncdu
progress
hexyl
]
++ (
if desktop
then [yubikey-manager]
then [
yubikey-manager
yt-dlp
oxipng
jpegoptim
]
else []
);
};

View file

@ -1,4 +1,8 @@
{pkgs, config, ...}: let
{
pkgs,
config,
...
}: let
theme = import ../../extra/theme.nix;
inherit (config.lib.formats.rasi) mkLiteral;
rasiColor = c: mkLiteral (theme.cssColor c);
@ -267,18 +271,22 @@ in {
text-color = mkLiteral "@fg-col";
};
element-icon = element // {
size = mkLiteral "25px";
};
element-icon =
element
// {
size = mkLiteral "25px";
};
"element selected" = {
background-color = mkLiteral "@selected-col";
text-color = mkLiteral "@fg-col2";
};
mode-switcher = element // {
spacing = 0;
};
mode-switcher =
element
// {
spacing = 0;
};
button = {
padding = mkLiteral "10px";