Commit Graph

19 Commits

Author SHA1 Message Date
Nathan McCarty e721775bfd
Add prefetch git 2023-07-11 07:18:03 -04:00
Nathan McCarty bae40525f1
Steal idris's chez 2023-07-10 17:28:35 -04:00
Nathan McCarty 97fef21fc3
Disable broken package 2023-06-19 03:52:55 -04:00
Nathan McCarty e78180c263
Upgrade python 2023-06-17 02:22:48 -04:00
Nathan McCarty 17ed0ea6fd
Upgrade linux systems to 23.05 2023-05-30 10:48:04 -04:00
Nathan McCarty 818f88b13e
Pip 2023-04-20 20:33:26 -04:00
Nathan McCarty d47f957421
Add nix utlities 2023-04-17 00:52:51 -04:00
Nathan McCarty ffe4a6c26b
Enable idris2 on mac 2023-03-27 19:50:58 -04:00
Nathan McCarty 9223e75f8f
Tweak webdev 2023-03-09 05:41:04 -05:00
Nathan McCarty 9c72b8744a
Add hut to core dev tools 2023-01-15 01:02:36 -05:00
Nathan McCarty c8efcc80cb
Add haskell dev tools 2022-10-31 11:53:04 -04:00
Nathan McCarty fca0155d5b
Add rlwrap to idris dev 2022-10-27 16:19:47 -04:00
Nathan McCarty 55d1b50998
Add idris deps 2022-10-26 17:07:30 -04:00
Nathan McCarty fc4ea15c0b
Add idris 2022-10-23 09:52:34 -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
Nathan McCarty 359b3d1524
make cargo-tarpaulin linux only 2022-09-04 03:36:15 -04:00
Nathan McCarty 067dd243ee
make mold linux specific 2022-09-04 03:33:35 -04:00
Nathan McCarty f8a4c48b0a
starter home 2022-09-04 03:29:35 -04:00
Nathan McCarty 092a0d0010
Seperate out linux home-manager 2022-09-04 03:11:06 -04:00