kjuulh/dagger
Archived
1
0
Fork 0
Code Issues 1 Pull Requests 1 Projects Releases Wiki Activity

Merge pull request #2203 from helderco/dagger-address

Browse Source 
chore!: Make `dagger.#Address` private
This commit is contained in:
Helder Correia 2022-04-15 09:59:26 +00:00 committed by GitHub
commit 1f0d35be5c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkg/dagger.io/dagger/plan.cue
View File

@ -24,7 +24,7 @@ package dagger
} }
// Access client network endpoints // Access client network endpoints
network: [address=#Address]: _#clientNetwork & { network: [address=_#address]: _#clientNetwork & {
"address": address "address": address
} }
@ -97,7 +97,7 @@ _#clientNetwork: {
// URL to the socket // URL to the socket
// Example: unix:///var/run/docker.sock // Example: unix:///var/run/docker.sock
address: #Address address: _#address
{ {
// unix socket or npipe // unix socket or npipe
@ -108,6 +108,9 @@ _#clientNetwork: {
} }
} }
// A network service address
_#address: string & =~"^(unix://|npipe://).+"
_#clientEnv: { _#clientEnv: {
$dagger: task: _name: "ClientEnv" $dagger: task: _name: "ClientEnv"

4
pkg/dagger.io/dagger/types.cue
View File

@ -32,7 +32,3 @@ package dagger
#Socket: { #Socket: {
$dagger: service: _id: string $dagger: service: _id: string
} }
// A network service address
#Address: string & =~"^(unix://|npipe://).+"
// TODO: #Address: string & =~"^(tcp://|unix://|npipe://|udp://).+"