36 Commits

Author	SHA1	Message	Date
Patrick Stevens	d891582dfe	Add regular Nix store optimisation (#80)	2024-09-20 21:37:30 +00:00
Patrick Stevens	fa88755137	Fix mail and Git repo syncing on darwin (#79)	2024-09-20 21:42:08 +01:00
Patrick Stevens	86b6269229	Disable auto-optimise on Darwin (#76)	2024-09-20 18:37:42 +00:00
Patrick Stevens	5c872e2c4a	Add some more stuff (#69)	2024-08-19 22:38:06 +00:00
Patrick Stevens	cde0abe5d9	Add calendar backup job (#56)	2024-04-28 21:42:54 +00:00
Patrick Stevens	02ceae3e22	Start signing Git commits (#52)	2024-04-15 20:42:29 +00:00
Patrick Stevens	e7f68f24a3	Add gnupg (#51)	2024-04-15 20:11:22 +00:00
Patrick Stevens	fd71527762	Delete Python workaround (#48)	2024-04-06 11:30:05 +00:00
Patrick Stevens	a210ee4301	Add mail config (#47)	2024-04-06 12:24:52 +01:00
Patrick Stevens	44856ee782	Many updates (#16)	2023-04-01 09:00:45 +01:00
Patrick Stevens	36171014c8	Split into multiple configs (#10)	2022-11-24 20:07:50 +00:00
Patrick Stevens	460af9d007	Flake update (#13)	2022-11-24 19:24:38 +00:00
Patrick Stevens	f4678f910f	General faff (#9)	2022-08-20 21:45:49 +01: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	4cdf00f879	A few bits and bobs	2022-01-26 20:17:50 +00:00
Smaug123	4e0ed30fbf	Upgrade VS Code	2021-12-20 21:35:49 +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	6ce7625c13	Add Pijul and upgrade .NET	2021-11-14 09:57:08 +00:00
Smaug123	929a4326ec	Hardlink in the store	2021-11-07 09:30:43 +00:00
Smaug123	7a58808287	Emacs and Agda	2021-10-31 18:21:04 +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	752789e973	Revert some GMP stuff	2021-10-27 20:28:12 +01:00
Smaug123	72e4884436	Split out Python	2021-10-16 09:40:12 +01:00
Smaug123	e7f12e33b1	VSCodium	2021-10-16 09:36:21 +01:00
Smaug123	0ac9ec6e77	Upgrade to Big Sur	2021-10-10 12:51:36 +01:00
Smaug123	f461d28f5c	Remove Code	2021-09-25 19:28:20 +01:00
Smaug123	d9a173642f	Stop using emacs at all	2021-09-12 23:03:54 +01:00
Smaug123	f0676f8ac0	Add a commented-out spacemacs	2021-09-12 18:28:04 +01:00
Smaug123	cc653f460d	Add ripgrep and emacs	2021-08-29 23:52:22 +01:00
Smaug123	5260915e52	Remove unnecessary bits	2021-07-09 08:51:10 +01:00
Smaug123	84f30e5eaa	Initial	2021-07-08 23:42:43 +01:00