diff options
| author | Erich Eckner <git@eckner.net> | 2018-01-18 15:21:01 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-01-18 15:21:01 +0100 |
| commit | 633a9409ae245b06ad5ae6a9b68853879cad03dc (patch) | |
| tree | c82de15d771c0441e0bca97c715449125590d6f5 /bin/get-package-updates | |
| parent | 5fb9f8ad7843e087c974cc1af291b4f494824462 (diff) | |
| download | builder-633a9409ae245b06ad5ae6a9b68853879cad03dc.tar.xz | |
put name of creating script into name of temporary directories
Diffstat (limited to 'bin/get-package-updates')
| -rwxr-xr-x | bin/get-package-updates | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index 8e0df04..cbe8b14 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -91,7 +91,7 @@ delete_package() { } # create tmp_dir and trap -tmp_dir=$(mktemp -d) +tmp_dir=$(mktemp -d 'tmp.get-package-updates.XXXXXXXXXX' --tmpdir) trap 'rm -rf --one-file-system "${tmp_dir}"' EXIT # Update git repositories (official packages, community packages and the repository of package customizations). |