hasufell/ale
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

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

Browse Source
This commit is contained in:
w0rp 2016-11-01 20:17:13 +00:00
parent 4088347901
commit f03fb64e51
2 changed files with 6 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
dmd-wrapper
View File

@ -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"

11
stdin-wrapper
View File

@ -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"