AutoDeriv icon indicating copy to clipboard operation
AutoDeriv copied to clipboard

.derived file does not support wildcards on folders

Open thomasschuerger opened this issue 3 years ago • 3 comments

Wildcards seem only to be supported in the file part of a pattern, not in the folder part. It does not seem to be possible to use e.g.

*/log/*.txt

Can the matching be changed to be as flexible as .gitignore? This would include the usage of "*" in the path part of a pattern, as well as "**" for any number of path levels.

thomasschuerger avatar Jun 02 '21 10:06 thomasschuerger

Sorry, I was mistaken.

The issue occurs when dealing with nested projects.

In the case where we have a parent project and child projects, like this:

parentproject

  • childproject1
  • childproject2

Here, a .derived file for childproject1 and childproject2 works fine with wildcards. However, on the parent project, wildcards in the .derived file do not work at all if they reference files of the child projects, neither in the folder part nor the filename part of a pattern. Patterns without wildcards work fine.

thomasschuerger avatar Jun 02 '21 16:06 thomasschuerger

Hi Thomas!

Unfortunately I no longer support that project. I'm not using this platform anymore... I guess the best bet now is to fork and improve the project.

Sorry, this is probably not the answer you're looking for...

On Wed, Jun 2, 2021 at 12:03 PM Thomas Schürger @.***> wrote:

Sorry, I was mistaken.

The issue occurs when dealing with nested projects.

In the case where we have a parent project and child projects, like this:

parentproject

  • childproject1
  • childproject2

Here, a .derived file for childproject1 and childproject2 works fine with wildcards. However, on the parent project, wildcards in the .derived file do not work at all, neither in the folder part nor the filename part of a pattern. Patterns without wildcards work fine.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/nodj/AutoDeriv/issues/22#issuecomment-853153036, or unsubscribe https://github.com/notifications/unsubscribe-auth/AB4WYYOA2ARJLV3GQKFZQNLTQZI6XANCNFSM456N6K4A .

nodj avatar Jun 02 '21 16:06 nodj

Hi @nodj ,

May I kindly ask you to mention this in the project's README and on its GitHub-Pages Homepage? I found AutoDeriv just now. Knowing that it's essentially a "dead project" would've saved some time.

Best regards

netmikey avatar Feb 03 '23 09:02 netmikey