jetty.project
jetty.project copied to clipboard
jetty
Provide alternative syntax for start.jar --download
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.
List of reserved characters for Windows.
https://docs.microsoft.com/en-us/windows/win32/fileio/naming-a-file
Unfortunately every alternative character to be used as a separator is interpreted by shells in a way or another, so | seems to be the best choice considering that we have to escape anyway.
: is not suitable (as we have basehome: or C: on Windows
! is interpreted by bash as a command of some sort
> is redirection
etc.
This issue has been automatically marked as stale because it has been a full year without activity. It will be closed if no further activity occurs. Thank you for your contributions.
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "Published by a pub.dev verified publisher"){kind=small}
This issue has been automatically marked as stale because it has been a full year without activity. It will be closed if no further activity occurs. Thank you for your contributions.
This issue has been automatically marked as stale because it has been a full year without activity. It will be closed if no further activity occurs. Thank you for your contributions.