mirror of
https://github.com/morluto/rea.git
synced 2026-10-11 21:39:55 +00:00
Dery Ferdikaandmorluto
1d4c4eb030
pull_adb_file derived its host file name from the last path segment of a caller-supplied device path and joined it to the output directory without checking that the name is usable on the host. A device path ending in a separator, a dot segment, a control character, a Windows reserved device name, a trailing dot or space, or a ':' alternate-data-stream marker could resolve to an unexpected host path or fail opaquely after the transfer. The single-file path now derives the name with POSIX semantics and refuses any non-portable segment as invalid_request before creating a directory or running adb pull. This matches the package path's pending host-name policy and never renames a device-reported file. Co-authored-by: morluto <[email protected]>
22 lines
591 B
JSON
22 lines
591 B
JSON
{
|
|
"_comment": "Test files remain included so the gate measures duplication across both src/ and tests/. The 3.0% limit leaves headroom for ordinary changes while keeping duplication visible.",
|
|
"threshold": 3.0,
|
|
"reporters": ["consoleFull"],
|
|
"ignore": [
|
|
"node_modules/**",
|
|
"dist/**",
|
|
"docs/**",
|
|
".codex/**",
|
|
".devin/**",
|
|
"tests/fixtures/**",
|
|
"third_party/**",
|
|
"tests/conformance/**/*.c",
|
|
"tests/conformance/**/*.m",
|
|
"tests/conformance/**/*.swift",
|
|
"tests/conformance/**/*.xib"
|
|
],
|
|
"gitignore": true,
|
|
"minLines": 5,
|
|
"minTokens": 50
|
|
}
|