-
-
Notifications
You must be signed in to change notification settings - Fork 1.3k
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.
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
Run url script in all directories #6082
Run url script in all directories #6082
Conversation
EDIT: There best pathspec I could find was
which finds 48 files. |
Ye, anything browsing subdirectories works. I just chose the easiest path because I want to get an exhaustive list of all occasions this script covers. We surely can adjust it, thanks for sharing :) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Let's use the simpler pathspec to find more files.
Co-authored-by: Zbynek Konecny <[email protected]>
sorry, the apostrophes matter |
Co-authored-by: Zbynek Konecny <[email protected]>
I noticed, rip. Running this version outputs the same results I used for my other PR. |
This PR is generated based on the results in #6082. I decided to file a dedicated PR because there are failures left, e.g., when URLs are used in documentation or comments. These spots need to be addressed separately.
The following entries are left:
The common cases are redirects, documentation purposes, examples, or other cases where an absolute URL is necessary. Can (and should) we exempt them, somehow? |
ref #6081 (comment)
Untested, I expect this to fail.