diff options
| author | w0rp <devw0rp@gmail.com> | 2016-11-01 20:17:13 +0000 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2016-11-01 20:30:15 +0000 |
| commit | f03fb64e5187aad15cf4abcb9bc8f9a5330225cd (patch) | |
| tree | 3006cf9da3cca7063eacd40ced077b423d7b9742 /dmd-wrapper | |
| parent | 4088347901ad5f0388d65b347501223abb2aa475 (diff) | |
| download | ale-f03fb64e5187aad15cf4abcb9bc8f9a5330225cd.zip | |
#160 Switch back to using readline for writing stdin to the temporary file, because it actually works on all machines.
Diffstat (limited to 'dmd-wrapper')
| -rwxr-xr-x | dmd-wrapper | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/dmd-wrapper b/dmd-wrapper index 0a643500..2db358e7 100755 --- a/dmd-wrapper +++ b/dmd-wrapper @@ -36,6 +36,8 @@ temp_dir=$(mktemp -d 2>/dev/null || mktemp -d -t 'ale_linters') temp_file="$temp_dir/file.d" trap 'rm -r "$temp_dir"' EXIT -cp /dev/stdin "$temp_file" +while read -r; do + echo "$REPLY" >> "$temp_file" +done dmd $(import_line_options) "$@" "$temp_file" |