Compare commits
1 Commits
33fb5dde98
...
0620416869
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
0620416869 |
@@ -959,10 +959,13 @@ style conventions are in separate documents:
|
||||
wait, where the process holding things up is the linter itself. Kill the
|
||||
group (`kill -- -<pgid>`) or use Ctrl-C.
|
||||
- **Known, accepted gap:** a signal arriving between the `mktemp` calls and
|
||||
the `trap ... EXIT` line leaves the two capture files behind. Closing it
|
||||
needs a trap installed before the files have names and rewritten after,
|
||||
which is more moving parts than a couple of stray files in a gitignored
|
||||
directory is worth. Stated rather than silently left.
|
||||
the `trap ... EXIT` line leaves the two capture files behind. It is
|
||||
closable, and cheaply — initialise both variables to the empty string and
|
||||
move all four `trap` lines above the `mktemp` calls, with nothing
|
||||
rewritten afterwards. It is accepted anyway because of what the gap costs,
|
||||
not because of what closing it costs: two stray files in a gitignored
|
||||
directory, never an incorrect result. Reconsider it on that trade-off if
|
||||
the balance ever changes.
|
||||
|
||||
Adopting repos must add `.lint-cache/` to both `.gitignore` and
|
||||
`.dockerignore`. The second matters as much as the first: the directory
|
||||
|
||||
Reference in New Issue
Block a user