diff options
| author | Gabriel Schneider <[email protected]> | 2026-09-29 19:50:59 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-10-01 00:12:17 -0300 |
| commit | 4442bf09a377297a33b91066bfb5dd8eedb964f0 (patch) | |
| tree | bcecc9b5b263f193554145c541c1226b1876f463 /docs | |
| parent | b3b68f5ca784de3987406584ca75b3767f98695d (diff) | |
| download | pardes-4442bf09a377297a33b91066bfb5dd8eedb964f0.tar.gz pardes-4442bf09a377297a33b91066bfb5dd8eedb964f0.zip | |
A Dump makes every directory missing on the way to its DumpDir, as a fresh HOME needs
outPath made only the last directory, so on a HOME with no ~/.local/share the default DumpDir failed no such directory. It now makes each missing parent, as mkdir -p; the known-wrong line in docs/divergences.md goes.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/divergences.md | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/docs/divergences.md b/docs/divergences.md index 21e5167e..2ab65819 100644 --- a/docs/divergences.md +++ b/docs/divergences.md @@ -15,8 +15,3 @@ moving a bookmark does not quietly orphan work or hide a failure. `ninep`, `fx`, `macos-fix`, `full-prototype`, `term`, and the `before-*` and `merged-*` bookmarks mark points already in `main`'s history. Only `main` is pushed to the FreeBSD mirror, which serves a public site. - -## Known wrong on `main` - -- `Dump` fails `no such directory` when the default `DumpDir`'s parent - (`$XDG_DATA_HOME`, or `~/.local/share`) does not exist. |