Skip to content

cli: handle spaces in filenames better#3929

Merged
Parth merged 1 commit intomasterfrom
spaces-in-filename
Nov 4, 2025
Merged

cli: handle spaces in filenames better#3929
Parth merged 1 commit intomasterfrom
spaces-in-filename

Conversation

@Parth
Copy link
Copy Markdown
Member

@Parth Parth commented Nov 4, 2025

fixes #2606

@Parth Parth marked this pull request as ready for review November 4, 2025 20:04
@Parth Parth merged commit 36e7e98 into master Nov 4, 2025
1 check passed
@Parth Parth deleted the spaces-in-filename branch November 4, 2025 20:04
@Parth
Copy link
Copy Markdown
Member Author

Parth commented Nov 4, 2025

(in service of #2078)

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

Labels

None yet

Development

Successfully merging this pull request may close these issues.

CLI doesn't handle spaces well

1 participant