Skip to content

fix: support wildcards/glob patterns in reload_extra_files#3536

Open
digital-wizard48 wants to merge 1 commit intobenoitc:masterfrom
digital-wizard48:fix/issue-1643-reload-extra-files-should-ac
Open

fix: support wildcards/glob patterns in reload_extra_files#3536
digital-wizard48 wants to merge 1 commit intobenoitc:masterfrom
digital-wizard48:fix/issue-1643-reload-extra-files-should-ac

Conversation

@digital-wizard48
Copy link

Summary

  • The reload_extra_files configuration option did not support wildcard/glob patterns, requiring users to explicitly list every file they wanted to watch.
  • This fix expands glob patterns in reload_extra_files using glob.glob() with recursive=True support before passing the file list to the reloader engine.
  • If a pattern doesn't match any files, it is passed through as-is (preserving existing behavior for explicit file paths).

Example

Users can now use:

reload_extra_files = ['ui/*/config.json', '**/*.yaml', '*.js']

instead of listing every file explicitly.

Fixes #1643


This PR was auto-generated by Gittensor bot using Claude AI to fix a reported issue.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

reload_extra_files should accept wildcards

2 participants