Merge pull request #1301 from TomChv/europa/write-file-default-permission

Add default value to permissions to `#WriteFile`
This commit is contained in:
Andrea Luzzardi 2021-12-23 16:47:56 +01:00 committed by GitHub
commit 716a05a231
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 5 deletions

View File

@ -43,7 +43,7 @@ package engine
// Contents to write // Contents to write
contents: string contents: string
// Permissions of the file // Permissions of the file
permissions: int permissions: *0o600 | int
// Output filesystem tree // Output filesystem tree
output: #FS output: #FS
} }

View File

@ -7,10 +7,10 @@ engine.#Plan & {
scratch: engine.#Scratch scratch: engine.#Scratch
data: engine.#WriteFile & { data: engine.#WriteFile & {
input: scratch.output input: scratch.output
path: "/test" path: "/test"
mode: 0o600 permissions: 0o600
contents: "foobar" contents: "foobar"
} }
} }