patrick/nix-dotfiles
1
0
Fork 0
mirror of https://github.com/Smaug123/nix-dotfiles synced 2025-10-05 22:48:39 +00:00
Code Issues Packages Projects Releases Wiki Activity
69 Commits 6 Branches 1 Tag
b72a716083d9ec9c4c227e29efcd466e93e5fcf7
Commit Graph

69 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Patrick Stevens
b72a716083 Better gitignore for darwin (#12) 2022-11-24 19:15:06 +00:00
Patrick Stevens
f1d917d4ec Add JSON reformat to init.vim (#11) 2022-11-24 19:13:39 +00:00
Patrick Stevens
f4678f910f General faff (#9) 2022-08-20 21:45:49 +01:00
Smaug123
cf0dbe7f44 Merge branch 'main' of ssh://ssh.github.com:443/Smaug123/nix-dotfiles 2022-03-17 22:13:20 +00:00
Patrick Stevens
c45a0d9df6 Add yt-dlp config and fix up git diff style (#8) 
* Update git diff method

* Bump flake

* Add yt-dlp
 2022-03-17 22:13:13 +00:00
Smaug123
d22ad837a0 Bump flake 2022-03-06 15:33:19 +00:00
Smaug123
005de0c62a Update git diff method 2022-03-02 19:14:46 +00:00
Smaug123
c9dd6b03ec Merge branch 'update-extensions' 2022-02-20 10:23:04 +00:00
Smaug123
5fda4e0165 Add config for LaTeX 2022-02-20 10:22:33 +00:00
Smaug123
e603de3347 Update VSCode extensions 2022-02-20 09:54:34 +00:00
Smaug123
fc0987c71e Merge branch 'main' of github.com:Smaug123/nix-dotfiles 2022-02-20 09:46:44 +00:00
Patrick Stevens
76b0a99899 Update Nixpkgs (#7) 2022-02-20 09:46:28 +00:00
Smaug123
9071035ba2 Format 2022-02-18 20:02:50 +00:00
Patrick Stevens
2463b3275b Use flakes (#6) 2022-02-06 14:40:14 +00:00
Smaug123
278ef5278d Remove ca-derivations again 2022-02-06 13:06:46 +00:00
Smaug123
cf971dbbb9 Lean 4 2022-02-05 10:21:46 +00:00
Smaug123
73539bc753 Fix up some config 2022-02-04 19:58:13 +00:00
Smaug123
4cdf00f879 A few bits and bobs 2022-01-26 20:17:50 +00:00
Smaug123
49b4432235 Upgrade extensions 2022-01-16 22:59:35 +00:00
Smaug123
135a036dd8 Add imagemagick 2022-01-16 22:56:38 +00:00
Smaug123
4e0ed30fbf Upgrade VS Code 2021-12-20 21:35:49 +00:00
Smaug123
40c8093b49 Remove custom GMP setup entirely 2021-12-12 19:10:12 +00:00
Smaug123
d2a1824116 Add another -D to cmake before-gmp-removal 2021-12-12 19:03:25 +00:00
Smaug123
2ee5ecc398 Add another -D to cmake 2021-12-12 18:46:40 +00:00
Smaug123
c9b2492ed1 Fix up Cmake again 2021-12-12 18:30:37 +00:00
Smaug123
a53ea4a87e Fix Lean3 VSCode 2021-12-12 18:09:38 +00:00
Smaug123
db1d15fdf2 Enough to build Lean 2021-12-05 15:22:43 +00:00
Patrick Stevens
13e0ea2511 Merge pull request #5 from Smaug123/aarch 
Aarch
 2021-11-28 12:07:11 +00:00
Smaug123
e62158389b Fix up gmp properly 2021-11-28 11:58:39 +00:00
Smaug123
e2cc0a629a Switch back to VSCode 2021-11-21 08:18:17 +00:00
Smaug123
cab153ca17 Get Rust working 2021-11-17 19:36:43 +00:00
Smaug123
e2fbaed32f Re-add Pijul 2021-11-16 21:09:55 +00:00
Smaug123
9f6763fea7 Basic aarch setup 2021-11-16 19:02:29 +00:00
Smaug123
6ce7625c13 Add Pijul and upgrade .NET 2021-11-14 09:57:08 +00:00
Patrick Stevens
488e07af2e Rider home-manager module (#4) 2021-11-10 13:15:33 +00:00
Smaug123
e971992f28 Enable git rerere 2021-11-07 14:59:59 +00:00
Smaug123
929a4326ec Hardlink in the store 2021-11-07 09:30:43 +00:00
Smaug123
1329700cd3 No more need to agda-mode locate 2021-11-04 21:42:17 +00:00
Smaug123
d483b6fa12 Add Lean again 2021-11-02 21:02:56 +00:00
Smaug123
8619b8fc1b Actually re-add elan 2021-11-02 19:02:33 +00:00
Smaug123
61be95f944 Re-add elan, remove spacemacs 2021-11-02 19:02:18 +00:00
Smaug123
7a58808287 Emacs and Agda 2021-10-31 18:21:04 +00:00
Smaug123
f4c453de97 Link to Docker in vscode docker extension 2021-10-31 14:37:25 +00:00
Smaug123
7cd4c074c5 Fix up after latest nixpkgs update 2021-10-30 21:59:03 +01:00
Smaug123
e25e363c6f Fix up gmp 2021-10-30 09:27:29 +01:00
Smaug123
4226206375 VSCodium settings 2021-10-30 08:54:19 +01:00
Smaug123
3b1c3c655d Shellcheck 2021-10-27 20:35:57 +01:00
Smaug123
b381b44220 Install Molokai again 2021-10-27 20:34:03 +01:00
Smaug123
752789e973 Revert some GMP stuff 2021-10-27 20:28:12 +01:00
Smaug123
bcf7acd881 Remove spare line 2021-10-16 09:50:50 +01:00