|
|
30fddd05bf
|
feat: add isabelle
|
2024-06-12 19:00:28 -04:00 |
|
|
|
b62a24ac4d
|
dev: don't manage ocaml here. flakes are better for that
|
2024-06-12 18:59:56 -04:00 |
|
|
|
78805936bf
|
update: victoria-logs server to latest release
|
2024-06-05 22:28:20 -04:00 |
|
|
|
05fe2a58f6
|
fix: some issues with clio running
|
2024-06-04 21:21:46 -04:00 |
|
|
|
57e230f483
|
feat: use clio to help make the log rotation work
|
2024-06-04 20:26:07 -04:00 |
|
|
|
40a74fc8a7
|
feat: vector sending logs to victoria-logs
|
2024-06-01 13:18:25 -04:00 |
|
|
|
d99ab26cf5
|
update: nixpkgs 24.05
|
2024-06-01 12:21:43 -04:00 |
|
|
|
424d64ebd5
|
maint: Remove some unused packages
|
2024-06-01 11:31:11 -04:00 |
|
|
|
1444262eb1
|
feat: Add victoria-logs as a service
A better log query interface
|
2024-06-01 10:10:32 -04:00 |
|
|
|
b739a91af9
|
fix: roslyn nvim uses the right sdk.
|
2024-05-17 09:31:58 -05:00 |
|
|
|
967ac2c84f
|
Get neogit from source
|
2024-05-16 15:49:23 -05:00 |
|
|
|
cf8a0cebb1
|
Use neovim projects flake
|
2024-05-16 12:57:25 -05:00 |
|
|
|
51274e2ac7
|
dnvm: for dotnet
|
2024-05-16 11:45:45 -05:00 |
|
|
|
d94b62e4ee
|
feat: Durnitisp network quality monitoring
|
2024-04-11 15:28:01 -04:00 |
|
|
|
9b2bd1fbfa
|
feat: Use neogit instead of vimagit
|
2024-03-12 10:11:14 -04:00 |
|
|
|
e3b4402b0b
|
fix: don't install dotnet from nix for now.
|
2024-03-05 12:36:45 -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 |
|
|
|
ca3b74c5f6
|
don't anchor llvm to 11 anymore
|
2024-01-31 20:36:36 -05:00 |
|
|
|
094df66621
|
Pin the clang version to 11 for lean beause reasons.
|
2024-01-31 13:52:24 -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 |
|
|
|
f30dcd048a
|
add d2 vim plugin
|
2024-01-28 18:39:21 -05:00 |
|
|
|
fdd2b7fac8
|
tmux configuration
|
2024-01-21 17:51:44 -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 |
|
|
|
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 |
|
|
|
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 |
|
