Open joakime opened 3 years ago
Related to #5944
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.
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.
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.