Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

script for temporary file creation #89

Closed
christoff-buerger opened this issue Mar 2, 2020 · 0 comments
Closed

script for temporary file creation #89

christoff-buerger opened this issue Mar 2, 2020 · 0 comments

Comments

@christoff-buerger
Copy link
Owner

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:

  1. Systematic names (preferable creation dates in xs:dateTime format) with random extension to avoid collision/stalling in case of very frequent creation.
  2. Option to enforce a basename for the created temporary.
  3. 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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant