Logo
Explore Help
Register Sign In
zaphar/dotfiles
1
0
Fork 0
You've already forked dotfiles
Code Issues 1 Pull Requests Packages Projects Releases Wiki Activity
dotfiles/nix/base-system
History
Jeremy Wall ebb61135a9 Keybindings for lean4.nvim
2024-01-31 20:36:10 -05:00
..
.zshrc
Always use c-r as reverse history search in zsh
2024-01-28 18:39:58 -05:00
d2.nix
Add d2 diagramming language
2023-12-18 07:01:44 -05:00
darwin-configuration.nix
Single flake construction
2024-01-28 23:46:33 -05:00
flake.lock
Prepare to use lean4 from flake
2024-01-29 23:38:32 -05:00
flake.nix
Pin the clang version to 11 for lean beause reasons.
2024-01-31 13:52:24 -05:00
init.lua
Keybindings for lean4.nvim
2024-01-31 20:36:10 -05:00
nvim-powershell.nix
Powershell stuff
2023-11-30 20:09:48 -05:00
nvim-treesitter-csharp.nix
Add the posession plugin
2023-09-11 10:32:38 -04:00
possession-nvim.nix
Add the posession plugin
2023-09-11 10:32:38 -04:00
program-neovim.nix
Fix warnings in neovim package.
2023-08-17 19:18:06 -04:00
tmux.conf
tmux configuration
2024-01-21 17:51:44 -05:00
Powered by Gitea Version: 1.23.8 Page: 135ms Template: 8ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API