run-oneshot --> exec
This commit is contained in:
parent
e0bb54dbf7
commit
c5c515b5f8
|
@ -1,6 +1,6 @@
|
|||
; Sending <run-oneshot SOMECOMMAND RESTARTPOLICY> causes the command to be run.
|
||||
; Sending <exec SOMECOMMAND RESTARTPOLICY> causes the command to be run.
|
||||
;
|
||||
?? <run-oneshot ?argv ?restartPolicy> [
|
||||
?? <exec ?argv ?restartPolicy> [
|
||||
let ?id = timestamp
|
||||
let ?facet = facet
|
||||
let ?d = <temporary-exec $id $argv>
|
||||
|
@ -16,4 +16,4 @@
|
|||
|
||||
; If the restart policy is not specified, it is defaulted to `on-error`.
|
||||
;
|
||||
?? <run-oneshot ?argv> ! <run-oneshot $argv on-error>
|
||||
?? <exec ?argv> ! <exec $argv on-error>
|
|
@ -6,8 +6,8 @@
|
|||
<configure-interface "lo" <static "127.0.0.1/8">>
|
||||
|
||||
? <configure-interface ?ifname <static ?ipaddr>> [
|
||||
! <run-oneshot ["ip" "address" "add" "dev" $ifname $ipaddr]>
|
||||
?- ! <run-oneshot ["ip" "address" "del" "dev" $ifname $ipaddr] never>
|
||||
! <exec ["ip" "address" "add" "dev" $ifname $ipaddr]>
|
||||
?- ! <exec ["ip" "address" "del" "dev" $ifname $ipaddr] never>
|
||||
]
|
||||
|
||||
? <configure-interface ?ifname <dhcp>> [
|
||||
|
@ -34,8 +34,8 @@
|
|||
$machine ? <interface ?ifname _ _ _ _ _ _> [
|
||||
$log ! <log "-" { saw-machine-interface: $ifname }>
|
||||
$config [
|
||||
! <run-oneshot ["ip" "link" "set" $ifname "up"]>
|
||||
?- ! <run-oneshot ["ip" "link" "set" $ifname "down"] never>
|
||||
! <exec ["ip" "link" "set" $ifname "up"]>
|
||||
?- ! <exec ["ip" "link" "set" $ifname "down"] never>
|
||||
]
|
||||
]
|
||||
|
||||
|
|
Loading…
Reference in New Issue