EnhancementHelp WantedLow Priority
倉庫指標
- Star
- (3,701 star)
- PR 合併指標
- (平均合併 6天 14小時) (30 天內合併 48 個 PR)
描述
Jetty version 9.4.x
Description
Currently, the --download=<arg> command line argument has a syntax in the <arg> with a pipe symbol |.
This complicates usage on a command line as it's a special character interpreted by the shell.
Consider an alternative (optional) character that can be used in the <arg> section.