Browse Source

NixOS 20.09

canon
Hazel Levine 4 months ago
parent
commit
c5f99a4bfd
Signed by: hazel GPG Key ID: 1884029A28789A62
5 changed files with 13 additions and 22 deletions
  1. +1
    -1
      config/waybar/config
  2. +8
    -0
      config/waybar/style.css
  3. +2
    -1
      modules/desktop/default.nix
  4. +1
    -20
      modules/lang/agda.nix
  5. +1
    -0
      packages/bw-git-helper.nix

+ 1
- 1
config/waybar/config View File

@ -1,7 +1,7 @@
{
"layer": "top",
"position": "top",
"modules-left": ["mpd"],
"modules-left": ["sway/window"],
"modules-right": ["network", "custom/vpn", "battery", "battery#BAT0", "clock"],
"sway/window": {
"max-length": 50


+ 8
- 0
config/waybar/style.css View File

@ -7,6 +7,14 @@ window#waybar {
background: rgba(0,0,0,0);
}
#window {
margin: 3px;
padding: 5px 7px 5px 7px;
border-radius: 10px;
background: #ebdbb2;
color: #3c3836;
}
#battery {
margin: 3px 0px 3px 0px;
background: #ebdbb2;


+ 2
- 1
modules/desktop/default.nix View File

@ -40,7 +40,8 @@ with lib; {
hikari.enable = cfg.desktop == "hikari";
mako.enable = true;
rofi.enable = true;
wofi.enable = true;
#rofi.enable = true;
fonts.enable = true;
gtkTheme.enable = true;


+ 1
- 20
modules/lang/agda.nix View File

@ -8,25 +8,6 @@ with lib; {
};
config = mkIf cfg.enable {
# for linking
environment.systemPackages = with pkgs; [
haskellPackages.Agda
AgdaStdlib
];
environment.pathsToLink = [ "/share/agda" ];
hazel.home.home.file = {
".agda/standard-library.agda-lib".text = ''
name: standard-library
include: /run/current-system/sw/share/agda
'';
".agda/libraries".text = ''
/home/hazel/.agda/standard-library.agda-lib
'';
".agda/defaults".text = ''
standard-library
'';
};
hazel.home.home.packages = with pkgs; [ agda agda-pkg ];
};
}

+ 1
- 0
packages/bw-git-helper.nix View File

@ -13,6 +13,7 @@ buildGoModule rec {
# not managed by niv
modSha256 = "1ck6bagvf9sjrp79lpx2w7v451ykn6hr3csm9zkqz1rqqd2z0smj";
vendorSha256 = "1x7iwd4ndcvcwyx8cxhkcwn5kwwf8nam47ln743wnvcrxi7q2604";
buildInputs = with pkgs; [ bitwarden-cli ];


Loading…
Cancel
Save