Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 | |