mirror of
https://github.com/bootandy/dust.git
synced 2026-06-08 11:29:05 +03:00
[GH-ISSUE #265] Feature request: Ignore files by filter file #112
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @windymelt on GitHub (Sep 13, 2022).
Original GitHub issue: https://github.com/bootandy/dust/issues/265
Hi, I started using this nice tool from today. It seems like very good.
Then I found that there is no option to provide ignore list via a file. (Yes, of course I can ignore file/directory via
-voption directly one by one)My use case is:
.dockerignore(same format as.gitignore).dockerignoreAs wrote above, I need feature that ignore files/directories listed in some filter file.
If this tool have this option, that's fantastic.
Alternative solution
I have workaround
@bootandy commented on GitHub (Oct 1, 2022):
there's no option to do that currently, I'll leave this open and I might look at it in the future.
@Philipp-M commented on GitHub (Aug 17, 2023):
Just stumbled over this, having the option to use
.ignorefiles (whether that would be.gitignoreor.dockerignore) would be great (e.g. to get the size statistics for a git repo)Maybe use the
ignorecrate with aWalkBuilderfor that?@bootandy commented on GitHub (Dec 14, 2023):
Earlier versions did use WalkBuilder and the ignore crate but they were much slower.
@bootandy commented on GitHub (Jan 4, 2024):
will be added in new version:
https://github.com/bootandy/dust/pull/358