summaryrefslogtreecommitdiff
path: root/Biz/Ide
AgeCommit message (Collapse)Author
2023-09-20Prototype MynionBen Sima
This implements a prototype Mynion, my chatbot which will eventually help me write code here. In fact he's already helping me, and works pretty well over xmpp. The prompt is currently not checked in because I'm experimenting with it a lot, and it should probably be a runtime parameter anyways. In the course of writing this I added some helper libraries to get me going, configured black (didn't even know that was possible), and added 'outlines' and its dependencies even though I didn't end up using it. I'll keep outlines around for now, but I'm not sure how useful it really is because afaict its just pre-defining some stop conditions. But it took a while to get it working so I'll just keep it in for now.
2023-09-19Fix checking of grep exitcodeBen Sima
This is one of those things that's hard to get right because it depends on the state of the git repo to exercise all code paths.
2023-09-19Lint faster by grouping files by extensionBen Sima
Previously I would lint every file individually, in serial. This took forever. Now I group the files by extension (by first getting the Namespace) and run each linter on all relevant files at once. This is so much faster its stupid. Also I added formatters back into the dev env because my editor needs them to autoformat.
2023-08-22Replace pylint with ruffBen Sima
Ruff is like a million times faster, and I mostly ignored pylint's suggestions anyway. I also took this opportunity to move lint tools into a runtime dependency on Lint.hs, which meant adding a wrapper to the Haskell builder, which was easy enough. This paves the way for proper rundeps in bild.
2023-08-22Add a commit-msg hook lint and various other cleanupsBen Sima
Turns out that gitlint by default enforces the exact commit-msg format that I like to use. I'm enabling this because even I write poor commit messages sometimes, and looking back on my commits from even a few days ago is sometimes not very helpful. I also made some minor comment and nix changes that I noticed while reviewing my work from the last few days.
2023-08-21Don't run ci on notes refsBen Sima
2023-08-21Only run pre-push if there hasn't been a successful runBen Sima
2023-08-17Reload dev environment after git checkoutBen Sima
2023-08-16Fix variable substitution and indenting in ci scriptBen Sima
2023-08-16Condense note message in pre-push hookBen Sima
2023-08-16Get python targets buildingBen Sima
I added 'black' to Biz/Lint.hs, but not the others because they rely on dependencies being in the PYTHONPATH to work, so they are only relevant in nix builds and repls. I also made some other tweaks to the python checkPhase and linted all the files. Everything should be building and linting correctly now.
2023-08-16Turn pre-push into a record-keeping ciBen Sima
This is necessary because otherwise I have no record of when I had a successful build.
2023-08-07Working nixified python buildBen Sima
This represents quite a few evenings of hacking. It doesn't build all of my Python code, because my Python code is not up to snuff, but it builds the examples and pulls in third party dependencies. Some design points: - I'm using buildPythonApplication in Builder.nix because it was getting way too annoying to wrap the Python script and set PYTHONPATH myself. Easier and more robust to just use the upstream nix builder - Because of this, I had to generate a setup.py. Maybe switch to pyproject.toml in the future, whatever. - Also because of this, Target.wrapper is becoming redundant. I'll just remove it when I get Guile built in nix. - Biz/Bild.nix is getting messy and could use a refactor. - In Builder.nix, I worked around the empty directories bug by just finding and deleting empty directories after unpacking. If its stupid but works it ain't stupid! - I had to touch __init__.py files in all directories before building. Annoying! - `repl` just works, which is awesome - To ensure good Python code, I moved lints and added type checking to the build. So I can't build anything unless it passes those checks. This seems restrictive, but if I want to run some non-passing code, I can still use `repl`, so it's actually not inhibitory.
2023-08-03Add packageSet argumentBen Sima
2023-07-28Fix tags generation in git hookBen Sima
2023-04-28Default to Guile 3.0 everywhereBen Sima
Without this, Guile libraries like SDL2 will use Guile 2.0 instead.
2023-01-03Add nl to push logging outputBen Sima
2022-11-02Select built nix targets with shipBen Sima
2022-08-10Fix path to git hookBen Sima
2022-08-08Ensure BIZ_ROOT is set in shell scriptsBen Sima
2022-08-08Remove some TODOsBen Sima
I don't like TODOs in my codebase, I'd rather keep them in org files. Eventually I need a linter that prevents all TODOs from getting into code.
2022-08-03Fix globbing in pre-push hookBen Sima
2022-08-03Print bild JSON analysis as a dictionary instead of a streamBen Sima
2022-08-01Lint only changed filesBen Sima
2022-07-29Implement Guile linking for C buildsBen Sima
In order to write Guile code against C, I need to distiguish between libs and bins, so I did that, then I got the flags that gcc needs from `guile-config` and put them in the args for any C lib build. I tested this with Bessel.c and Bessel.scm (not in this patch, because I don't really want that code in my tree, I'll come up with another way to test it later).
2022-07-29Refactor replBen Sima
- added --bash in case you just really want a shell - added support for C programs
2022-07-26Port Niv.Cli to Biz.Bild.DepsBen Sima
2022-07-26Put _/bin on the PATHBen Sima
The motivation for this was to prevent `lint` from rebuilding every time I ran it. That was really annoying.
2022-07-25Generate both emacs and vim tagsBen Sima
2022-07-25Add tags support for more languagesBen Sima
Rust seems to not be supported in my ctags version :( Also rename some Ide scripts because these are commands, not really scripts.
2022-07-23Add simple rust support in replBen Sima
2022-07-21Add sysdeps to repl environmentsBen Sima
2022-07-20Add PORT argument to replBen Sima
Also added -h help message.
2022-07-20Provision scheme environments with nixBen Sima
There's no `guileWith` in nixpkgs, so I think I just need to pass multiple `--packages` flags. I can't test this yet because I need to implement import detection in Bild.hs first, but that's less important because Guile ships with a bunch of SRFIs, which is nice, and anyway there aren't many Guile libraries in nixpkgs for me to pull from.
2022-07-19Provision lisp repls with nixBen Sima
asdf seems to always be necessary for any other packages to work, so I just include that in the call to nix-shell, and swank is included because it's just useful to start a repl server.
2022-07-19Support multiple targets in replBen Sima
Also fixed a bug where the json failed to parse correctly.
2022-07-19Upgrade nixpkgs, ghc923Ben 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-18Delete ShellHook.sh in favor of just using direnvBen Sima
2022-07-17Add support for SBCL replBen Sima
2022-07-05Case on target extension and provide proper error messagesBen Sima
2022-03-30Replace ci with the git pre-push hookBen Sima
2022-02-18Fix noteBen Sima
2022-02-18Refactor ns, add more viewsBen Sima
2022-02-09Add run script and rewrite nsBen Sima
2022-02-09Use fzf-tmux and add hoog.sh to ghciBen Sima
2022-02-09Move git hooks to own folderBen Sima
Instead of symlinking, just set the local git config.
2022-02-02Fix argument referenceBen Sima
2021-12-21Enable shellcheck lint and fix its warningsBen Sima
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.
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-01 13:35:56 +0000