Skip to content
This repository was archived by the owner on Jan 14, 2026. It is now read-only.
This repository was archived by the owner on Jan 14, 2026. It is now read-only.

File URI regex does not work with GNU grep, blows up workspace #2

Description

@suskin

Hey guys!

The download script completely fubars the destination directory on machines using GNU grep, especially for accounts with lots of files to download. The script creates a lot of files whose filenames are long JSON strings.

The reason is the FILE_URI_REGEX which is passed into grep does not work with GNU grep; for GNU grep, the ungreedy qualifier ? requires grep -P rather than grep -E to function. See this stack overflow question for some discussion.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions