summaryrefslogtreecommitdiff
path: root/Biz/Ide
AgeCommit message (Collapse)Author
2021-12-21Update ship scriptBen Sima
2021-12-21Extract repl program from bildBen 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-21Add kelvin versioning to pre-commit hookBen Sima
2021-12-21Add hoog.sh, improve ide scriptsBen Sima
2021-11-26Fix ci script and pre-pushBen Sima
2021-11-26Use nouns in ns scriptBen Sima
2021-11-26Small Ide improvementsBen Sima
2021-11-26Update to ghc 8.10.4Ben 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-26Fix GitHub OAuth argsBen 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-26Add both optionBen Sima
2021-11-26Move commands and add ns functionBen Sima
2021-11-26Fix post-checkout scriptBen Sima
Don't exit on no-such-variable because we can just silently fail...
2021-01-22Fix bad bash substitutionBen Sima
2021-01-08Simplify post-checkoutBen Sima
2020-12-28ide: incremental tags and git hooksBen Sima
2020-12-28ide: add ftags scriptBen Sima