mirror of
https://github.com/distribution/distribution.git
synced 2025-06-26 07:22:56 +00:00
Merge d19610686f
into 97495e5397
This commit is contained in:
commit
281aab6c56
@ -100,7 +100,7 @@ resourcename := [ hostname '/' ] component [ '/' component ]*
|
|||||||
hostname := hostcomponent ['.' hostcomponent]* [':' port-number]
|
hostname := hostcomponent ['.' hostcomponent]* [':' port-number]
|
||||||
hostcomponent := /([a-zA-Z0-9]|[a-zA-Z0-9][a-zA-Z0-9-]*[a-zA-Z0-9])/
|
hostcomponent := /([a-zA-Z0-9]|[a-zA-Z0-9][a-zA-Z0-9-]*[a-zA-Z0-9])/
|
||||||
port-number := /[0-9]+/
|
port-number := /[0-9]+/
|
||||||
action := /[a-z]*/
|
action := /[a-z*]*/
|
||||||
component := alpha-numeric [ separator alpha-numeric ]*
|
component := alpha-numeric [ separator alpha-numeric ]*
|
||||||
alpha-numeric := /[a-z0-9]+/
|
alpha-numeric := /[a-z0-9]+/
|
||||||
separator := /[_.]|__|[-]*/
|
separator := /[_.]|__|[-]*/
|
||||||
|
Loading…
Reference in New Issue
Block a user