diff options
author | Lars Wirzenius <liw@liw.fi> | 2018-07-25 08:23:48 +0300 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2018-07-25 08:23:48 +0300 |
commit | 1f0698635d2fbc848d6ac6f14c1b03caa57666f0 (patch) | |
tree | 9e6749541bc23926727fd83e610960384359e867 /pipelines/persist_workspace.ick | |
parent | b4fd244faa883da8d67cc3a0d538ab1dc6fb47dc (diff) | |
download | ick2-1f0698635d2fbc848d6ac6f14c1b03caa57666f0.tar.gz |
Add: some more proposd standard pipelines for ick
Diffstat (limited to 'pipelines/persist_workspace.ick')
-rw-r--r-- | pipelines/persist_workspace.ick | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/pipelines/persist_workspace.ick b/pipelines/persist_workspace.ick new file mode 100644 index 0000000..3f9a903 --- /dev/null +++ b/pipelines/persist_workspace.ick @@ -0,0 +1,31 @@ +# Lars Wirzenius. +# +# Feel free to use this as you wish. It is simple enough that it is +# probably not even copyrightable. + +pipelines: + + # Save the current contents of the whole workspace, into an artifact + # named in the workspace_name parameter. + + - pipeline: ick/save_workspace + parameters: + - workspace_name + actions: + - archive: workspace + where: host + name_from: workspace_name + + # Restore a previously saved workspace from the artifact named in + # the workspace_name parameter. If no such artifact exists, do + # nothing. If the workspace already has content, it will not be + # touched, except that files that also exist in the artifact will be + # overwritten. + + - pipeline: ick/restore_workspace + parameters: + - workspace_name + actions: + - action: populate_workspace + name_from: workspace_name + where: host |