190 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
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	a46c3ac058	Add ideavimrc	2021-09-12 23:00:09 +01:00
Smaug123	fa15df1d66	Add SSH config	2021-09-12 22:55:38 +01:00
Smaug123	8fb80c0bc1	Better spacemacs file	2021-09-12 18:50:00 +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	2a8b33a30b	Add youtube-dl config	2021-07-09 19:19:16 +01:00
Smaug123	5260915e52	Remove unnecessary bits	2021-07-09 08:51:10 +01:00
Smaug123	057ce85c95	Don't know why I need this	2021-07-09 00:21:19 +01:00
Smaug123	cb6e35b6c4	Update bootstrap	2021-07-08 23:46:57 +01:00
Smaug123	7e296e817f	Get it working	2021-07-08 23:44:22 +01:00
Smaug123	84f30e5eaa	Initial	2021-07-08 23:42:43 +01:00
Smaug123	9d04229d55	Reproduce the MIT licence for the NeoVim config	2021-07-04 22:50:11 +01:00
Smaug123	268515fdf9	Attempt to use home-manager module	2021-07-04 22:45:24 +01:00
Smaug123	17a261fc10	Initial commit	2021-07-04 21:51:48 +01:00