#160 Switch back to using readline for writing stdin to the temporary file, because it actually works on all machines.

1 files changed, 3 insertions, 8 deletions

diff --git a/stdin-wrapper b/stdin-wrapper
index 492035e1..f81f4617 100755
--- a/stdin-wrapper
+++ b/stdin-wrapper
@@ -16,13 +16,8 @@ temp_dir=$(mktemp -d 2>/dev/null || mktemp -d -t 'ale_linter')
 temp_file="$temp_dir/file$file_extension"
 trap 'rm -r "$temp_dir"' EXIT
 
-# In perfect world it wouldn't be needed, but some tools (`go vet`, I am looking
-# at you) do not fit in line and require filename ending. Otherwise it would be
-# simple as
-#
-#     "$@" /dev/stdin
-#
-# without all that hackery with copying `/dev/stdin`
-cp /dev/stdin "$temp_file"
+while read -r; do
+  echo "$REPLY" >> "$temp_file"
+done
 
 "$@" "$temp_file"