Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

create an easy way to cleanup files after running shrink #78

Open
plastikfan opened this issue Dec 21, 2023 · 0 comments
Open

create an easy way to cleanup files after running shrink #78

plastikfan opened this issue Dec 21, 2023 · 0 comments
Assignees
@plastikfan
Labels
feature New feature or request

Comments

@plastikfan
Copy link
Contributor

create 2 new sub-commands:

  • accept: keeps the newley created files delete all others, including what in trash
  • revert: discards newly created files

In order for this to work, we may need a new kind of journal that can be consulted to see what happened.
@plastikfan plastikfan added the feature New feature or request label Dec 21, 2023
@plastikfan plastikfan self-assigned this Dec 21, 2023
@plastikfan plastikfan changed the title create an easy way to cleanup files after runnbing shrink create an easy way to cleanup files after running shrink Dec 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@plastikfan plastikfan

Labels
feature New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@plastikfan