jetty/jetty.project
Provide alternative syntax for start.jar --download
Aberta
#5.969 aberto em 11 de fev. de 2021
EnhancementHelp WantedLow Priority
Métricas do repositório
- Stars
- (3.701 estrelas)
- Métricas de merge de PR
- (Métricas PR pendentes)
Description
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.