Skip to content

Name the sources in --purge's leaving list #461

Description

@blooop

Work

Name the sources in --purge's "Leaving N workspace(s)" list, and say what removing the cache costs the survivors.

The smallest high-value change on this map, and #452 argued why it is worth its own ticket: principle 2 is satisfied far more cheaply by the user can see it and decide than by reclaiming anything, and this is the one screen where somebody is actually deciding.

Two changes:

  • The leaving list prints workspace ids and never sources. A user looking at pythontemplate and my-hand-made-workspace cannot tell which is a dl <path> workspace whose clone is theirs and which is a hand-made one. Print the source beside the id.
  • Add a sentence that removing the cache drops what devlaunch knew about the survivors. This matters more after #456: the per-workspace markers live in the cache, so a purge that leaves foreign workspaces standing also destroys the records naming their volumes, and their volumes then become exactly the orphans Orphaned volumes with no surviving record #451 declined to reclaim.

Cost, already scoped: one golden in rust/dl/tests/lifecycle.rs and a paragraph in docs/cleanup.md. No em or en dashes in docs/ (test_docs_prose.py).

Deliberately not in scope: the dl --ls degradation under a moved repos_dir, which waits on whether repos_dir is supported at all.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions