WebKit Bugzilla
New
Browse
Search+
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
NEW
240856
Style error when a file is renamed.
https://bugs.webkit.org/show_bug.cgi?id=240856
Summary
Style error when a file is renamed.
Jean-Yves Avenard [:jya]
Reported
2022-05-23 22:17:32 PDT
In a commit I renamed a file from Source/WebKit/Platform/IPC/SharedBufferCopy.cpp to Source/WebKit/Platform/IPC/SharedBufferReference.cpp When I tried to push the PR I got: ``` ERROR: File does not exist: 'Source/WebKit/Platform/IPC/SharedBufferCopy.cpp' Traceback (most recent call last): File "/Users/jyavenard/Work/webkit/OpenSource/Tools/Scripts/check-webkit-style", line 46, in <module> sys.exit(CheckWebKitStyle().main()) File "/Users/jyavenard/Work/webkit/OpenSource/Tools/Scripts/webkitpy/style/main.py", line 159, in main patch_checker.check(patch) File "/Users/jyavenard/Work/webkit/OpenSource/Tools/Scripts/webkitpy/style/patchreader.py", line 86, in check self._text_file_reader.process_file(file_path=path, line_numbers=line_numbers) File "/Users/jyavenard/Work/webkit/OpenSource/Tools/Scripts/webkitpy/style/filereader.py", line 123, in process_file raise IOError("File does not exist") OSError: File does not exist style-checker failed, continue uploading pull request? (Yes/[No]): Yes ```
Attachments
Add attachment
proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1
2022-05-23 22:17:51 PDT
<
rdar://problem/93807132
>
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug