|
|
3e3c532054
|
Update heracles version locally
|
2024-03-25 13:52:28 -04:00 |
|
|
|
cff00b637d
|
feat: restart heracles if the config file changes
|
2024-03-20 15:15:29 -04:00 |
|
|
|
edb6ba71c5
|
feat: cpu query adjustment
|
2024-03-20 15:15:08 -04:00 |
|
|
|
9b2bd1fbfa
|
feat: Use neogit instead of vimagit
|
2024-03-12 10:11:14 -04:00 |
|
|
|
a811cd131f
|
hotkey to add a buffers file to git
|
2024-03-06 12:08:27 -05:00 |
|
|
|
e3b4402b0b
|
fix: don't install dotnet from nix for now.
|
2024-03-05 12:36:45 -05:00 |
|
|
|
622618c715
|
Fix an annoying indentation issue in javascript
|
2024-03-03 15:21:50 -05:00 |
|
|
|
effb7cede8
|
Expand the Heracles dashboard a bit
|
2024-02-28 11:13:56 -05:00 |
|
|
|
d75180b59b
|
Heracles FTW
|
2024-02-23 12:09:00 -05:00 |
|
|
|
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 |
|
|
|
ff8a7082ed
|
Workaround a sandboxing issues
https://github.com/NixOS/nix/issues/4119
|
2023-12-26 21:40:20 -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 |
|
|
|
79c25fa5bc
|
Update nixpkgs
|
2023-11-22 18:07:09 -05:00 |
|
