diff options
| -rwxr-xr-x | gist | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -77,7 +77,7 @@ set -o pipefail | |||
| 77 | 77 | ||
| 78 | # clean temporary files | 78 | # clean temporary files |
| 79 | tmp_dir=$(mktemp -d) | 79 | tmp_dir=$(mktemp -d) |
| 80 | trap "[[ '$DEBUG' == 'true' ]] && find $tmp_dir -type f | xargs tail -n +1 > log; rm -r $tmp_dir" EXIT | 80 | trap "[[ '$DEBUG' == 'true' ]] && tail -n +1 $tmp_dir/* >log 2>/dev/null; rm -r $tmp_dir" EXIT |
| 81 | 81 | ||
| 82 | # Mac compatibility | 82 | # Mac compatibility |
| 83 | tmp_file() { | 83 | tmp_file() { |