about summary refs log tree commit diff
path: root/home/modules/development.nix
blob: 9bb24b25611000c90ef0d38fdf8585a9d9f4a497 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
{ config, lib, pkgs, ... }:

let

  clj2nix = pkgs.callPackage (pkgs.fetchFromGitHub {
    owner = "hlolli";
    repo = "clj2nix";
    rev = "3ab3480a25e850b35d1f532a5e4e7b3202232383";
    sha256 = "1lry026mlpxp1j563qs13nhxf37i2zpl7lh0lgfdwc44afybqka6";
  }) {};

in

with lib;

{
  imports = [
    ./lib/zshFunctions.nix
    ./development/kube.nix
    ./development/urbint.nix
  ];

  home.packages = with pkgs; [
    jq
    yq
    gitAndTools.hub
    gitAndTools.tig
    shellcheck
    httpie
    entr
    gnumake
    inetutils
    loc

    clj2nix

    haskellPackages.Agda
    AgdaStdlib

    (import ../pkgs/clang-tools { inherit pkgs; })
  ] ++ optional (stdenv.isLinux) julia;

  programs.git = {
    enable = true;
    package = pkgs.gitFull;
    userEmail = "root@gws.fyi";
    userName  = "Griffin Smith";
    ignores = [
      "*.sw*"
      ".classpath"
      ".project"
      ".settings/"
      ".dir-locals.el"
      ".stack-work-profiling"
      ".projectile"
    ];
    extraConfig = {
      github.user = "glittershark";
      merge.conflictstyle = "diff3";
    };

    delta = {
      enable = true;
      options = [
        "--theme 'Solarized (light)'"
        "--hunk-style" "plain"
        "--commit-style" "box"
      ];
    };
  };

  home.file.".psqlrc".text = ''
    \set QUIET 1
    \timing
    \set ON_ERROR_ROLLBACK interactive
    \set VERBOSITY verbose
    \x auto
    \set PROMPT1 '%[%033[1m%]%M/%/%R%[%033[0m%]%# '
    \set PROMPT2 '...%# '
    \set HISTFILE ~/.psql_history- :DBNAME
    \set HISTCONTROL ignoredups
    \pset null [null]
    \unset QUIET
  '';

  programs.readline = {
    enable = true;
    extraConfig = ''
      set editing-mode vi
    '';
  };

  programs.zsh.shellAliases = {
    # Git
    "gwip" = "git add . && git commit -am wip";
    "gpr" = "g pull-request";
    "gcl" = "git clone";
    "grs" = "gr --soft";
    "grhh" = "grh HEAD";
    "grh" = "gr --hard";
    "gr" = "git reset";
    "gcb" = "gc -b";
    "gco" = "gc";
    "gcd" = "gc development";
    "gcm" = "gc master";
    "gc" = "git checkout";
    "gbg" = "git branch | grep";
    "gba" = "git branch -a";
    "gb" = "git branch";
    "gcv" = "git commit --verbose";
    "gci" = "git commit";
    "gm" = "git merge";
    "gdc" = "gd --cached";
    "gd" = "git diff";
    "gsl" = "git stash list";
    "gss" = "git show stash";
    "gsad" = "git stash drop";
    "gsa" = "git stash";
    "gst" = "gs";
    "gs" = "git status";
    "gg" = "gl --decorate --oneline --graph --date-order --all";
    "gl" = "git log";
    "gf" = "git fetch";
    "gur" = "gu --rebase";
    "gu" = "git pull";
    "gpf" = "gp -f";
    "gpa" = "gp --all";
    "gpu" = "git push -u origin \"$(git symbolic-ref --short HEAD)\"";
    "gp" = "git push";
    "ganw" = "git diff -w --no-color | git apply --cached --ignore-whitespace";
    "ga" = "git add";
    "gnp" = "git --no-pager";
    "g" = "git";
    "git" = "hub";
    "grim" = "git fetch && git rebase -i origin/master";
    "grc" = "git rebase --continue";
    "gcan" = "git commit --amend --no-edit";
    "grl" = "git reflog";

    # Haskell
    "cnb" = "cabal new-build";
    "cob" = "cabal old-build";
    "cnr" = "cabal new-run";
    "cor" = "cabal old-run";
    "ho" = "hoogle";
  };
}