diff options
| -rwxr-xr-x | stdin-wrapper | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdin-wrapper b/stdin-wrapper index 0b52f2ad..c1758df0 100755 --- a/stdin-wrapper +++ b/stdin-wrapper @@ -10,7 +10,7 @@ file_extension="$1" shift -temp_file=$(mktemp --tmpdir "ale-XXX$file_extension") +temp_file=$(mktemp --tmpdir "ale-XXXXXXXXX$file_extension") trap 'rm $temp_file' EXIT while read -r; do |