6 Commits

Author	SHA1	Message	Date
Nathan McCarty	86394b692c	Use sshSign module on extremophile	2023-05-11 11:27:05 -04:00
Nathan McCarty	ffe4a6c26b	Enable idris2 on mac	2023-03-27 19:50:58 -04:00
Nathan McCarty	e400a07efd	Oop	2023-03-27 18:59:34 -04:00
Nathan McCarty	cf1cbd5c48	Git ssh signing darwin ... also fix defaults woop	2023-03-27 18:48:01 -04:00
Nathan McCarty	6023f7d96e	Remove some devtools from mac	2022-11-05 15:57:12 -04:00
Nathan McCarty	754e42af79	Start port to darwin ... Get a working basic darwin config, including: - Emacs - Core utils - Linking nix applications into ~/Applications - Managing homebrew through nix - Switch from nixpkgs-fmt to nixfmt - Compile aspell with the needed dicts to make getting it working on mac smoother	2022-10-15 04:58:46 -04:00