diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-22 10:30:33 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-22 10:30:33 +0100 |
| commit | 70759d4b9e38d8935d8dca40b2bf9e41651a9a07 (patch) | |
| tree | 1abad70dfb09042d624c55ed11bc05c24d9b71cf /bin | |
| parent | d85bf410d3c0a441eabd3e7ef7e098eba4c4005a (diff) | |
| download | builder-70759d4b9e38d8935d8dca40b2bf9e41651a9a07.tar.xz | |
bin/repo-copy: make location of tmp_dir configurable via $TMPDIR
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/repo-copy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/repo-copy b/bin/repo-copy index 8566d7c..c3450fd 100755 --- a/bin/repo-copy +++ b/bin/repo-copy @@ -26,7 +26,7 @@ to_repo="$2" shift shift -tmp_dir=$(mktemp -d) +tmp_dir=$(mktemp -d "${TMPDIR:-/tmp}/repo-tools.XXXXXXXXXX") trap 'rm -rf --one-file-system "${tmp_dir}"' EXIT # extract the databases |