Age | Commit message (Collapse) | Author | |
---|---|---|---|
2022-07-19 | Upgrade nixpkgs, ghc923 | Ben Sima | |
I ended up deleting miso, and consequently all files under Hero/ and Miso/, because I couldn't get miso to build with GHC 9.2. Other things: - Niv has been wrapped by Biz/Bild/Deps.hs, so I can extend it to my liking. - Apply-refact is gone because I couldn't get it to build. - Disabled python stuff. | |||
2022-07-18 | Delete ShellHook.sh in favor of just using direnv | Ben Sima | |
2022-07-17 | Add support for SBCL repl | Ben Sima | |
2022-07-05 | Case on target extension and provide proper error messages | Ben Sima | |
2022-03-30 | Replace ci with the git pre-push hook | Ben Sima | |
2022-02-18 | Fix note | Ben Sima | |
2022-02-18 | Refactor ns, add more views | Ben Sima | |
2022-02-09 | Add run script and rewrite ns | Ben Sima | |
2022-02-09 | Use fzf-tmux and add hoog.sh to ghci | Ben Sima | |
2022-02-09 | Move git hooks to own folder | Ben Sima | |
Instead of symlinking, just set the local git config. | |||
2022-02-02 | Fix argument reference | Ben Sima | |
2021-12-21 | Enable shellcheck lint and fix its warnings | Ben Sima | |
2021-12-21 | Update ship script | Ben Sima | |
2021-12-21 | Extract repl program from bild | Ben Sima | |
This is basically building on top of bild's analysis, which is great becuase it means that bild is becoming a useful tool rather than a monolithic do-everything job runner. The eventual goal is for the bild analysis to be much more useful, maybe even provide data to remote repls or language-server or whatever. | |||
2021-12-21 | Add kelvin versioning to pre-commit hook | Ben Sima | |
2021-12-21 | Add hoog.sh, improve ide scripts | Ben Sima | |
2021-11-26 | Fix ci script and pre-push | Ben Sima | |
2021-11-26 | Use nouns in ns script | Ben Sima | |
2021-11-26 | Small Ide improvements | Ben Sima | |
2021-11-26 | Update to ghc 8.10.4 | Ben Sima | |
This also makes some changes to the build tooling to clean up the environment a bit, and get us closer to 'bild -s'. | |||
2021-11-26 | Fix GitHub OAuth args | Ben Sima | |
This makes it explicit that we are using GitHub vs some other OAuth args. The idea is that we should be making a new type for every service, this allows us to have type safety in the implementation but a common set or pattern of names for the environment variables and record fields. Also using 'notset' instead of 'mempty' is really helpful for debugging when this breaks, as I found out. | |||
2021-11-26 | Add both option | Ben Sima | |
2021-11-26 | Move commands and add ns function | Ben Sima | |
2021-11-26 | Fix post-checkout script | Ben Sima | |
Don't exit on no-such-variable because we can just silently fail... | |||
2021-01-22 | Fix bad bash substitution | Ben Sima | |
2021-01-08 | Simplify post-checkout | Ben Sima | |
2020-12-28 | ide: incremental tags and git hooks | Ben Sima | |
2020-12-28 | ide: add ftags script | Ben Sima | |