diff --git a/platform-wasmcloud/down.fish b/platform-wasmcloud/down.fish index b2f1f81..622b09f 100755 --- a/platform-wasmcloud/down.fish +++ b/platform-wasmcloud/down.fish @@ -1,3 +1,13 @@ #!/usr/bin/env fish -wash app delete ./wadm.yaml +wash down --all + +pushd /tmp + if test -f wash-ui.pid + set PID (cat wash-ui.pid) + rm -f wash-ui.pid wash-ui.out + if test -n "$PID" + kill $PID + end + end +popd diff --git a/platform-wasmcloud/start.fish b/platform-wasmcloud/start.fish new file mode 100755 index 0000000..7339724 --- /dev/null +++ b/platform-wasmcloud/start.fish @@ -0,0 +1,3 @@ +#!/usr/bin/env fish + +wash app deploy ./wadm.yaml diff --git a/platform-wasmcloud/stop.fish b/platform-wasmcloud/stop.fish new file mode 100755 index 0000000..b2f1f81 --- /dev/null +++ b/platform-wasmcloud/stop.fish @@ -0,0 +1,3 @@ +#!/usr/bin/env fish + +wash app delete ./wadm.yaml diff --git a/platform-wasmcloud/up.fish b/platform-wasmcloud/up.fish index 7339724..f990b61 100755 --- a/platform-wasmcloud/up.fish +++ b/platform-wasmcloud/up.fish @@ -1,3 +1,11 @@ #!/usr/bin/env fish -wash app deploy ./wadm.yaml +wash up -d + +pushd /tmp + status job-control full + nohup wash ui > wash-ui.out & + cat wash-ui.out + set PID $last_pid + echo $PID > wash-ui.pid +popd