|
|
c9d6f0f5e8
|
Add node-exporter.
|
2024-02-19 12:47:09 -05:00 |
|
|
|
da22ed14c6
|
Add jsdoc
|
2024-02-12 15:52:42 -06:00 |
|
|
|
656186389b
|
remove lldb and llvmpackages
|
2024-02-09 10:38:43 -06:00 |
|
|
|
1c84d0b6a8
|
Formatting
|
2024-01-31 22:10:45 -05:00 |
|
|
|
bd62b52285
|
More lean keymappings
|
2024-01-31 20:52:04 -05:00 |
|
|
|
ca3b74c5f6
|
don't anchor llvm to 11 anymore
|
2024-01-31 20:36:36 -05:00 |
|
|
|
ebb61135a9
|
Keybindings for lean4.nvim
|
2024-01-31 20:36:10 -05:00 |
|
|
|
094df66621
|
Pin the clang version to 11 for lean beause reasons.
|
2024-01-31 13:52:24 -05:00 |
|
|
|
38d5d1d009
|
Turn off lsp trace logging
|
2024-01-29 23:38:57 -05:00 |
|
|
|
8fc0d047dd
|
Prepare to use lean4 from flake
|
2024-01-29 23:38:32 -05:00 |
|
|
|
6de5297111
|
Workaround the broken symbols in libcxx on darwin.
We use a specific patched commit in nixpkgs until the permanent fix is merged.
|
2024-01-29 16:29:10 -05:00 |
|
|
|
f8b20a98ee
|
TODO for isabelle
|
2024-01-29 00:34:48 -05:00 |
|
|
|
6711228f3c
|
Working ocaml using unstable
|
2024-01-29 00:04:22 -05:00 |
|
|
|
39377c5beb
|
Single flake construction
|
2024-01-28 23:46:33 -05:00 |
|
|
|
1547eb922c
|
Always use c-r as reverse history search in zsh
|
2024-01-28 18:39:58 -05:00 |
|
|
|
f30dcd048a
|
add d2 vim plugin
|
2024-01-28 18:39:21 -05:00 |
|
|
|
248b7bf232
|
enable all features for cargo
|
2024-01-22 15:53:22 -05:00 |
|
|
|
fdd2b7fac8
|
tmux configuration
|
2024-01-21 17:51:44 -05:00 |
|
|
|
f763dc381f
|
Set vi line editing and some additional nix options
|
2024-01-18 09:27:19 -05:00 |
|
|
|
b9ad9eac83
|
Readd omnisharp and disable roslyn
It isnt quite ready for prime time yet. diagnostics
arent getting handled.
|
2024-01-09 12:24:39 -05:00 |
|
|
|
fcb1d2420b
|
Roslyn is "working"
|
2024-01-09 08:30:42 -05:00 |
|
|
|
5a1f4042e3
|
A bunch more treesitter parsers in neovim
|
2024-01-06 11:36:58 -05:00 |
|
|
|
234f291d3a
|
Updated a bunch of stuff in the lua config
|
2024-01-06 11:06:05 -05:00 |
|
|
|
f7370dffae
|
Harpoon config updates.
|
2024-01-05 16:34:03 -05:00 |
|
|
|
3357c037e6
|
Stop using deprecated builder
|
2024-01-05 16:12:25 -05:00 |
|
|
|
2664a47219
|
Pin treesitter-context to a version that will build with nix infra.
|
2024-01-05 16:07:20 -05:00 |
|
|
|
179b01999b
|
Update nixpkgs version to 23.11 latest
|
2024-01-05 15:28:39 -05:00 |
|
|
|
b9dda1bd85
|
Get omnisharp from our nixpkgs input.
|
2024-01-02 19:48:06 -05:00 |
|
|
|
2643c52158
|
Update nixpkgs
|
2023-12-26 21:57:42 -06:00 |
|
|
|
4720695cc0
|
Add isabelle
|
2023-12-26 21:44:51 -06:00 |
|
|
|
eac01c9ab3
|
Add texlive
|
2023-12-26 21:38:42 -06:00 |
|
|
|
27eb76e00e
|
Add d2 diagramming language
|
2023-12-18 07:01:44 -05:00 |
|
|
|
61e60e395c
|
Modify the harpoon open keybinding.
|
2023-12-09 08:36:57 -05:00 |
|
|
|
aa42105b2b
|
Add harpoon
|
2023-12-08 18:03:17 -05:00 |
|
|
|
4e4e7e8d92
|
Nomad and consul tools
|
2023-12-06 17:43:52 -05:00 |
|
|
|
1ca0afa83b
|
Update to nixpkgs 23.11
|
2023-11-30 20:10:52 -05:00 |
|
|
|
49e18f81e5
|
Powershell stuff
|
2023-11-30 20:09:48 -05:00 |
|
|
|
aaa6901544
|
A bunch of cleanup
|
2023-11-22 18:08:58 -05:00 |
|
|
|
75e854ff03
|
neovim hcl support
|
2023-11-22 18:08:31 -05:00 |
|
|
|
a50b10c05a
|
Add python310 pip and virtualenv
|
2023-10-28 09:18:46 -04:00 |
|
|
|
f7f17259de
|
Add terraform
Eventually we need to replace it with OpenTofu but I don't
want to shave that Yak yet.
|
2023-10-25 11:30:32 -04:00 |
|
|
|
5bb4a001e2
|
Add nvim-dap, lldb, llvm bintools, netcoredbg
|
2023-10-05 12:48:03 -04:00 |
|
|
|
992afd2245
|
Add nurl, update runwhen, dadbod hotkeys
|
2023-09-27 13:39:06 -04:00 |
|
|
|
b09f9f83a5
|
maint: Update packages.
|
2023-09-22 11:06:19 -04:00 |
|
|
|
04792b9c5d
|
feat: Add vim dadbod stuff to my neovim setup
|
2023-09-22 11:06:02 -04:00 |
|
|
|
055062292d
|
Add oha to my default toolset
|
2023-09-21 09:44:59 -04:00 |
|
|
|
58b911ba7f
|
refactor: Unify opt setting
|
2023-09-21 09:38:23 -04:00 |
|
|
|
d11d6df60d
|
feat: session opts to save in session management
|
2023-09-21 09:35:52 -04:00 |
|
|
|
b8d62d9f6e
|
maint: formatting
|
2023-09-15 16:44:38 -04:00 |
|
|
|
b4de5234eb
|
feat: Add hey an apache bench alternative
|
2023-09-15 16:42:48 -04:00 |
|
