From 4442bf09a377297a33b91066bfb5dd8eedb964f0 Mon Sep 17 00:00:00 2001 From: Gabriel Schneider Date: Tue, 29 Sep 2026 19:50:59 -0300 Subject: 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 --- docs/divergences.md | 5 ----- 1 file changed, 5 deletions(-) (limited to 'docs') 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. -- cgit v1.3