summaryrefslogtreecommitdiff
path: root/Biz/Ide
AgeCommit message (Expand)Author
5 daysRewrite mktags.sh to MakeTags.pyBen Sima
2024-05-29Rewrite ns.shBen Sima
2024-05-23Lint fix command in ns.shBen Sima
2024-05-21Set pre-push hook to fail if subcommand failsBen Sima
2024-05-20Minor Ide changes & fixesBen Sima
2024-05-20Fix push.sh, act as $USER instead of rootBen Sima
2024-05-20Switch to universal-ctagsBen Sima
2024-04-11Don't reload direnv every checkoutBen Sima
2024-04-11Don't run the pre-push script when pushing git notesBen Sima
2024-04-11Fix syntax error in pre-push hookBen Sima
2024-04-10Save commit message if gitlint failsBen Sima
2024-04-10Reorganize and update nixpkgs upstreamsBen Sima
2024-04-10Add mypy to Python REPLBen Sima
2024-04-10Switch from black to ruff formatBen Sima
2024-04-10Push ci notes automaticallyBen Sima
2024-04-09Replace tidy.sh with git clean, add it to ciBen Sima
2024-04-03Enable CI for every commitBen Sima
2024-04-03Update comment to CI scriptBen Sima
2024-04-01Make bild exception for git hooksBen Sima
2024-04-01Set border and window placement in ftags/hoog scriptsBen Sima
2024-04-01Rename .bash files to .shBen Sima
2024-04-01Add --jobs and --cpus to bildBen Sima
2023-10-27CI script improvementsBen Sima
2023-10-27Rename BIZ_ROOT to CODEROOTBen Sima
2023-10-10Add git-branchlessBen Sima
2023-10-10Environment fixes on berylliumBen Sima
2023-10-10Don't swallow namespace-parsing errorsBen Sima
2023-10-03Add rundeps feature to bildBen Sima
2023-10-03Rename BIZ_ROOT to CODEROOTBen Sima
2023-09-20Prototype MynionBen Sima
2023-09-19Fix checking of grep exitcodeBen Sima
2023-09-19Lint faster by grouping files by extensionBen Sima
2023-08-22Replace pylint with ruffBen Sima
2023-08-22Add a commit-msg hook lint and various other cleanupsBen Sima
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
2023-08-16Turn pre-push into a record-keeping ciBen Sima
2023-08-07Working nixified python buildBen Sima
2023-08-03Add packageSet argumentBen Sima
2023-07-28Fix tags generation in git hookBen Sima
2023-04-28Default to Guile 3.0 everywhereBen Sima
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-26 05:59:39 +0000