18 Commits

Author	SHA1	Message	Date
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	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	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	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	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	84f30e5eaa	Initial	2021-07-08 23:42:43 +01:00