| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | the directory lock is the kernel's, not a pid we believe | Lukasz Kasprzak | 48 hours | 2 | -100/+208 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | flock(2) on the lock file's descriptor replaces "write my pid, and decide whether the pid in the file is still alive". The kernel drops the lock when the process ends, however it ends, so there is no stale krino lock to detect and no takeover to race over. What that fixes: - Two runs that both judged a lock stale could remove and recreate it and both believe they held it. Remove-then-create cannot be made atomic; there is nothing to make atomic now. Pinned by a test with eight callers over twenty rounds. - A pid reused after a crash made the lock live for ever, and the message named neither the file nor the pid, so there was nothing to act on. The message now names both. - Signal(0) reads EPERM as "not running", so a lock held by another user was taken over. There is no such judgement left to get wrong. A run that waits for a held lock now says so first. Waiting is what the spec asks for, but the wait has no timeout, and in silence it is indistinguishable from a hang - I spent two minutes on one myself today, waiting on a lock the window was holding. Tests that faked a held lock by writing a file now hold a real one. | ||||
| * | the module path is git.labunix.xyz/krino | Lukasz Kasprzak | 2 days | 50 | -105/+105 |
| | | | | | | | | | | | | So that go install can find it. cgit serves no go-import meta tag, so nginx answers a ?go-get=1 request for /NAME with one pointing at https://git.labunix.xyz/NAME.git; the alternative was carrying a .git suffix through every import line forever. One sed over the imports, both go.mod files, and the dependency gate's whitelist. Nothing else depends on the path. go install works from the next tag, the first release whose go.mod carries it. | ||||
| * | comments that explain the code, not how it was written | Lukasz Kasprzak | 2 days | 43 | -704/+644 |
| | | | | | | | | | | | | | | | | | | | About 340 comments cited the development process: task and plan numbers, fix waves, rulings, reviewers, and the author in the third person with a date. None of that exists outside the work itself, so to a reader it pointed at nothing. Each one now states the engineering reason it was standing in front of; where a comment was provenance and nothing else, it is gone. References to docs/design.md and docs/gui-design.md by section stay: both ship with the repository. The design documents lose their amendment diaries - CHANGELOG.md is that record - and the GUI's says plainly that the window has gone further than the document. Only comments changed. Every .go file was parsed and its code printed with comments stripped, before and after: the two hashes are identical across all 175 files. | ||||
| * | gui: name the other copy of a duplicate, and offer to keep this one instead | Lukasz Kasprzak | 2 days | 3 | -0/+54 |
| | | |||||
| * | gui: syntax colours, a file preview, and a settings window | Lukasz Kasprzak | 3 days | 1 | -0/+5 |
| | | |||||
| * | gui: Rules tab - the file as text, checked as you type, tested and saved | Lukasz Kasprzak | 3 days | 1 | -0/+6 |
| | | |||||
| * | gui: History and undo tab; each plan and undo is its own run | Lukasz Kasprzak | 3 days | 2 | -2/+55 |
| | | |||||
| * | unsaved text for another included directory is not an error; two keys for ↵ | Lukasz Kasprzak | 3 days | 2 | -19/+76 |
| | | | | | one file are | ||||
| * | milestone 1 review: claims span the run, explain's chain is opt-in and its ↵ | Lukasz Kasprzak | 3 days | 9 | -30/+366 |
| | | | | | own, overrides keyed by clean path, splice and enum guards | ||||
| * | config prints and splices one form | Lukasz Kasprzak | 4 days | 5 | -2/+268 |
| | | |||||
| * | undo runs through the same session | Lukasz Kasprzak | 4 days | 2 | -10/+89 |
| | | |||||
| * | the engine owns a run: lock, log, run id, claims | Lukasz Kasprzak | 4 days | 2 | -0/+266 |
| | | |||||
| * | explain reports captures and the chain a file would get | Lukasz Kasprzak | 4 days | 3 | -18/+108 |
| | | |||||
| * | config and engine can load with unsaved text | Lukasz Kasprzak | 4 days | 4 | -3/+73 |
| | | |||||
| * | check refuses an empty time format; krino.conf(5) corrected from the re-audit | Lukasz Kasprzak | 4 days | 2 | -0/+5 |
| | | |||||
| * | check refuses placeholders that could never expand | Lukasz Kasprzak | 4 days | 3 | -0/+57 |
| | | |||||
| * | an undecided (stop) rule ends the search for that file | Lukasz Kasprzak | 4 days | 2 | -0/+52 |
| | | |||||
| * | a failed duplicate lookup is unknown, like unreadable content | Lukasz Kasprzak | 4 days | 4 | -5/+96 |
| | | |||||
| * | docs: GUI design draft; code comments no longer name the owner | Lukasz Kasprzak | 4 days | 3 | -7/+6 |
| | | |||||
| * | a permanently deleted file's steps do not keep a run partly undone | Lukasz Kasprzak | 5 days | 2 | -2/+47 |
| | | |||||
| * | a rule's duplicate check failure shortens the path too | Lukasz Kasprzak | 5 days | 2 | -8/+74 |
| | | |||||
| * | (matched) is unknown after an undecided rule, so a catch-all leaves an ↵ | Lukasz Kasprzak | 5 days | 6 | -14/+82 |
| | | | | | unreadable file alone | ||||
| * | captures keep the combining marks of a decomposed name; test sources escape ↵ | Lukasz Kasprzak | 5 days | 3 | -7/+20 |
| | | | | | invisible characters | ||||
| * | explain walks the directory for a duplicate test in an exclude too | Lukasz Kasprzak | 5 days | 2 | -3/+44 |
| | | |||||
| * | partial reads never cached; extractor version 3 discards 0.0.7 caches | Lukasz Kasprzak | 5 days | 2 | -1/+32 |
| | | |||||
| * | an earlier directory's applied results stay claimed for later ones | Lukasz Kasprzak | 5 days | 1 | -0/+6 |
| | | |||||
| * | tests read real documents from LibreOffice and pandoc; antiword's ↵ | Lukasz Kasprzak | 5 days | 10 | -0/+57 |
| | | | | | short-document limit documented | ||||
| * | krino log marks a run partly undone while reversible steps remain | Lukasz Kasprzak | 5 days | 2 | -5/+81 |
| | | |||||
| * | tests: apply error exits 1 and w stops krino through the real command; undo ↵ | Lukasz Kasprzak | 5 days | 1 | -0/+53 |
| | | | | | projection occupied half | ||||
| * | build: VERSION checked for build and install, cross names without v, ↵ | Lukasz Kasprzak | 5 days | 2 | -0/+51 |
| | | | | | dependency gate covers tests and BSDs, tarball install, examples and extractor list tested | ||||
| * | main excludes checked with the defaults' case and fold; Latin-1 decoding ↵ | Lukasz Kasprzak | 5 days | 4 | -6/+35 |
| | | | | | memory; hardlink election documented | ||||
| * | output: wrap by terminal columns, names cannot fake step lines, -v lists ↵ | Lukasz Kasprzak | 5 days | 1 | -2/+26 |
| | | | | | unscanned destinations | ||||
| * | duplicate warnings share one format | Lukasz Kasprzak | 5 days | 3 | -9/+75 |
| | | |||||
| * | --json carries exclusions and matching warnings | Lukasz Kasprzak | 5 days | 2 | -13/+42 |
| | | |||||
| * | literal braces are text, not placeholders, for containment and walk exclusion | Lukasz Kasprzak | 5 days | 7 | -25/+69 |
| | | |||||
| * | explain: shows a duplicate's skipped delete, leaves the cache alone, walks ↵ | Lukasz Kasprzak | 5 days | 2 | -3/+42 |
| | | | | | only for duplicate tests | ||||
| * | content tests are three-valued: unknown when unreadable or read in part | Lukasz Kasprzak | 5 days | 7 | -47/+227 |
| | | |||||
| * | captures keep the name's diacritics | Lukasz Kasprzak | 5 days | 7 | -8/+194 |
| | | |||||
| * | tests run on OpenBSD; a tool's error message survives one large write; lock ↵ | Lukasz Kasprzak | 5 days | 4 | -11/+33 |
| | | | | | pids beyond 32 bits name no process | ||||
| * | text that turns binary further on has no content, like an image | Lukasz Kasprzak | 5 days | 4 | -19/+16 |
| | | |||||
| * | plan 10 re-check: cut run column, damaged undo run, emptied directory ↵v0.0.7 | Lukasz Kasprzak | 5 days | 9 | -9/+175 |
| | | | | | cleanup, text turning binary, explain flags, interrupt docs | ||||
| * | plan 10: missing and weak tests (per-step logging, trash path, fuzz oracle, ↵ | Lukasz Kasprzak | 5 days | 4 | -10/+126 |
| | | | | | w after error) | ||||
| * | plan 10: stderr messages cannot be split by quoted newlines; config paths ↵ | Lukasz Kasprzak | 5 days | 2 | -1/+10 |
| | | | | | escaped; krino new refuses control characters; independent terminal oracle | ||||
| * | plan 10: an interrupt stops between steps; nohup keeps ignoring hangups | Lukasz Kasprzak | 5 days | 3 | -6/+46 |
| | | |||||
| * | plan 10: resumed undo re-checks what an earlier undo put back; occupied ↵ | Lukasz Kasprzak | 5 days | 2 | -2/+98 |
| | | | | | directory removals are not offered forever | ||||
| * | plan 10: a damaged log line refuses only its file, not the run | Lukasz Kasprzak | 5 days | 4 | -22/+126 |
| | | |||||
| * | plan 10: a step that ran but could not be logged is named in the error | Lukasz Kasprzak | 5 days | 2 | -1/+66 |
| | | |||||
| * | plan 10: a format with no text is no match, not unreadable | Lukasz Kasprzak | 5 days | 2 | -1/+50 |
| | | |||||
| * | plan 9: property test compares directories and refuses to pass vacuously; ↵ | Lukasz Kasprzak | 5 days | 3 | -14/+60 |
| | | | | | undo tracks directories trash restores recreate | ||||
| * | plan 9: undo review matches review, --min-age validated, future mtimes, rule ↵ | Lukasz Kasprzak | 5 days | 9 | -4/+88 |
| | | | | | names, conflict enum, dependency gate, absolute tool paths | ||||
