home.nix

{ pkgs, ... }:

{
  home.packages = with pkgs; with pkgs.ocamlPackages; with pkgs.coqPackages; [
    anki
    htop
    # 1password
    atom
    bash
    binutils
    camlp5_6_strict
    coq
    # coq-ext-lib
    gitAndTools.diff-so-fancy
    flameshot
    gnupg
    # home-manager-path
    jbuilder
    jq
    merlin
    # ncurses
    neofetch
    networkmanager
    nix-prefetch-git
    nix-repl
    nodejs
    ocaml
    findlib
    ocpIndent
    opam
    pciutils
    python
    st
    watson
    xfce.thunar
    z3
    zeal
  ];
  programs.home-manager = {
    enable = true;
    path = https://github.com/rycee/home-manager/archive/release-18.03.tar.gz;
  };
  services.gpg-agent.enable = true;

  home.file.".ghci".text = ''
    :set -Wall
    :set prompt "\ESC[34mλ> \ESC[m"
    :set -fno-print-bind-result

    -- list surrounding lines at each breakpoint/step
    :set stop :list
  '';

  services.compton = {
    enable = true;
    backend = "xrender";
    extraOptions = ''
      xrender-sync = true;
      xrender-sync-fence = true;
    '';
  };

  services.random-background = {
    enable = true;
    imageDirectory = "%h/mojave";
    interval = "30m";
  };

  services.polybar = {
    enable = true;
    config = ''
[settings]
throttle-ms = 50
throttle-limit = 5

[bar/top]
width = 100%
height = 45

background = #ddffffff
foreground = #253973

underline-size = 5
underline-color = #bc92f8

spacing = 1
padding-right = 2
module-margin-left = 0
module-margin-right = 2

font-0 = NotoSans-Regular:size=18;0
font-1 = FontAwesome:size=8;-2
font-2 = ypn envypn:size=16;-1 # main font
font-3 = Termsynu:size=8;-1
font-4 = Unifont:size=6;-3

modules-left = bspwm
modules-center = xwindow
modules-right = cpu memory clock

tray-position = right
tray-padding = 2
tray-detached = false
tray-maxsize = 16
tray-background = ''${colors.background-alt}
tray-offset-x = 0
tray-offset-y = 0
;tray-padding = 0
tray-scale = 1.0

[module/bspwm]
type = internal/bspwm

format = <label-state> <label-mode>

label-focused = %index%
label-focused-padding = 2
label-focused-margin = 1
label-focused-font = 3
label-focused-foreground = #fff
label-focused-background = #253973
label-focused-underline = #395199

label-occupied = %index%
label-occupied-padding = 2
label-occupied-margin = 1
label-occupied-background = #999
label-occupied-foreground = #fff
label-occupied-underline = #c5c5c5
label-occupied-font = 3

label-urgent = %index%
label-urgent-padding = 2
label-urgent-margin = 1
label-urgent-font = 3

label-empty = %index%
label-empty-padding = 2
label-empty-margin = 1
label-empty-font = 3

[module/cpu]
type = internal/cpu
interval = 0.5

format = <label> <ramp-coreload>
format-background = #253973
format-foreground = #fff
format-underline = #395199
format-padding = 2

label = cpu
label-font = 3

ramp-coreload-0 = ▁
ramp-coreload-0-font = 5
ramp-coreload-0-foreground = #fff
ramp-coreload-1 = ▂
ramp-coreload-1-font = 5
ramp-coreload-1-foreground = #fff
ramp-coreload-2 = ▃
ramp-coreload-2-font = 5
ramp-coreload-2-foreground = #fff
ramp-coreload-3 = ▄
ramp-coreload-3-font = 5
ramp-coreload-3-foreground = #fff
ramp-coreload-4 = ▅
ramp-coreload-4-font = 5
ramp-coreload-4-foreground = #000
ramp-coreload-5 = ▆
ramp-coreload-5-font = 5
ramp-coreload-5-foreground = #000
ramp-coreload-6 = ▇
ramp-coreload-6-font = 5
ramp-coreload-6-foreground = #ff3b51
ramp-coreload-7 = █
ramp-coreload-7-font = 5
ramp-coreload-7-foreground = #ff3b51

[module/memory]
type = internal/memory

format = <label> <bar-used>
format-padding = 2
format-background = #253973
format-foreground = #fff
format-underline = #395199

label = memory
label-font = 3

bar-used-width = 10
bar-used-indicator = |
bar-used-indicator-font = 4
bar-used-indicator-foreground = #fff
bar-used-fill = ─
bar-used-fill-font = 4
bar-used-fill-foreground = #fff
bar-used-empty = ─
bar-used-empty-font = 4
bar-used-empty-foreground = #999

[module/clock]
type = internal/date
date = %%{T3}%Y-%m-%d %H:%M%%{T-}

format-padding = 2
format-background = #253973
format-foreground = #fff
format-underline = #395199

[module/volume]
type = internal/volume
speaker-mixer = Speaker
headphone-mixer = Headphone
headphone-id = 9

format-volume-padding = 2
format-volume-background = #fff85a
format-volume-foreground = #43433a
format-volume-underline = #fffb8f

format-muted-padding = 2
format-muted-background = #77ffffff
format-muted-foreground = #666666

label-volume = volume %percentage%
label-volume-font = 3
label-muted = sound muted
label-muted-font = 3

[module/xwindow]
type = internal/xwindow
label-font = 3
    '';

    script = "polybar -r top &";
  };
}