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

Handle re-downloading more gracefully. #4

Open
craigsapp opened this issue Mar 10, 2024 · 1 comment
Open

Handle re-downloading more gracefully. #4

craigsapp opened this issue Mar 10, 2024 · 1 comment
Assignees
@craigsapp
Labels
enhancement

Comments

@craigsapp
Copy link
Member

When make has been run and then run again, prevent dummy entries in the .info files from being created. Probably automatically remove the previous entry and re-count notes/files/sizes.
@craigsapp craigsapp self-assigned this Mar 10, 2024
@craigsapp
Copy link
Member Author

Dummy entries are still there, but the remote repository's directory is no longer re-downloaded which speeds up taking selections from a repository directory.

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

@craigsapp craigsapp

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@craigsapp