Likewise to issues #44, #61 and #67, a script (deploying/deployment-scripts/create-temporary.bash) for the creation of temporary artefacts is missing. Such script should enable the creation of unique files, directories and pipes. The created temporaries should all be bundled in a common temporary-directory, listed on .gitignore (deploying/deployment-scripts/temporary-files).
Temporary creation should support:
Systematic names (preferable creation dates in xs:dateTime format) with random extension to avoid collision/stalling in case of very frequent creation.
Option to enforce a basename for the created temporary.
Option to enforce creation in a certain previously created temporary directory (to enable for example the collection of random temporaries in a certain temporary directory).
Creation of a temporary must always succeed, except option (3), which must fail if the given directory is not a temporary.
Likewise to issues #44, #61 and #67, a script (
deploying/deployment-scripts/create-temporary.bash
) for the creation of temporary artefacts is missing. Such script should enable the creation of unique files, directories and pipes. The created temporaries should all be bundled in a common temporary-directory, listed on.gitignore
(deploying/deployment-scripts/temporary-files
).Temporary creation should support:
Creation of a temporary must always succeed, except option (3), which must fail if the given directory is not a temporary.