index
:
omni.git
live
usr/ben
not just a monorepo, its an *omnirepo*
ben
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Biz
/
Ide
Age
Commit message (
Expand
)
Author
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
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
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
2021-11-26
Fix GitHub OAuth args
Ben Sima
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
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
[prev]