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

Improve temporary dir creation #14

Merged
merged 1 commit into from
Mar 10, 2016
Merged

Improve temporary dir creation #14

merged 1 commit into from
Mar 10, 2016

Conversation

aureliojargas
Copy link
Owner

Use mktemp. If not available, create a random dir manually, using awk's rand() and $$.

Not a pretty solution, but it's portable.

Fixes #12

Use mktemp. If not available, create a random dir manually, using awk's
rand() and $$.

Not a pretty solution, but it's portable.

Fixes #12
aureliojargas added a commit that referenced this pull request Mar 10, 2016
@aureliojargas aureliojargas merged commit 4993c80 into master Mar 10, 2016
@aureliojargas aureliojargas deleted the improve-temp-dir branch March 10, 2016 01:02
@aureliojargas
Copy link
Owner Author

Thanks for the information @itamarnet!

For now I'll let it that way because this temporary file is mostly invisible to the user, this float number won't be a problem. Furthermore, awk will only be called on the few systems lacking mktemp.

If the future forces me to change direction, I'm glad I have the answer here, thanks! :)

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

Successfully merging this pull request may close these issues.

2 participants