code2rocq/crocq
code2rocq/crocq
Watch
3
2
Fork
You've already forked crocq
 0
Code Issues 18 Pull requests 3 Projects 1 Releases 1 Packages 2 Activity Actions

Quote dynamic values passed to the shell #20

Merged
EatOreo merged 2 commits from fix/shell-quoting into main 2026-10-09 12:55:03 +02:00
Conversation 1 Commits 2 Files changed 5 +123 -3
marfavi commented 2026-10-09 11:30:25 +02:00
Owner

Quotes the clightgen file name and the terminal cd target so spaces or metacharacters in a path are not interpreted by the shell.

Quotes the clightgen file name and the terminal cd target so spaces or metacharacters in a path are not interpreted by the shell.
Quote dynamic values passed to the shell
All checks were successful
Extension / Format, types, lint, extension tests (pull_request) Successful in 1m40s
Details
Grammar / Corpus and binding tests (pull_request) Successful in 52s
Details
aba909eb97
 
File names and terminal working directories were interpolated unquoted
into a single command line, so spaces or shell metacharacters in a path
would split the command or be interpreted by the shell. Add a
quoteShellArgument helper and use it for the clightgen file name and the
terminal cd target.
marfavi changed title from WIP: Quote dynamic values passed to the shell to Quote dynamic values passed to the shell 2026-10-09 12:51:21 +02:00
marfavi force-pushed fix/shell-quoting from aba909eb97
All checks were successful
Extension / Format, types, lint, extension tests (pull_request) Successful in 1m40s
Details
Grammar / Corpus and binding tests (pull_request) Successful in 52s
Details
to 88a2530b11
All checks were successful
Grammar / Corpus and binding tests (pull_request) Successful in 45s
Details
Extension / Format, types, lint, extension tests (pull_request) Successful in 1m33s
Details
2026-10-09 12:51:31 +02:00 Compare
Merge branch 'main' into fix/shell-quoting
All checks were successful
Grammar / Corpus and binding tests (pull_request) Successful in 48s
Details
Extension / Format, types, lint, extension tests (pull_request) Successful in 1m47s
Details
40dff8e7cd
EatOreo approved these changes 2026-10-09 12:54:46 +02:00
EatOreo deleted branch fix/shell-quoting 2026-10-09 12:55:03 +02:00
Sign in to join this conversation.
Reviewers
No reviewers
EatOreo
Labels
Clear labels   
blocked
should wait for another issue to be addressed

  
bug

   
priority!

   
quick-pick
No labels
blocked
bug
priority!
quick-pick
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
code2rocq/crocq!20
No description provided.