diff options
author | w0rp <devw0rp@gmail.com> | 2017-02-11 19:40:57 +0000 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-02-11 19:40:57 +0000 |
commit | ecbb27680563a50d4dd981f968d659ef20bfbe30 (patch) | |
tree | 3e60f1ad7840dce1351819cd191a4c7ca0a7330e /stdin-wrapper | |
parent | c33602534e205aa677521ce49a8054588d88bdc2 (diff) | |
download | ale-ecbb27680563a50d4dd981f968d659ef20bfbe30.zip |
Replace every stdin-wrapper script with the new %t formatting support
Diffstat (limited to 'stdin-wrapper')
-rwxr-xr-x | stdin-wrapper | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/stdin-wrapper b/stdin-wrapper deleted file mode 100755 index de4af0e5..00000000 --- a/stdin-wrapper +++ /dev/null @@ -1,21 +0,0 @@ -#!/usr/bin/env bash - -# Authors: w0rp <devw0rp@gmail.com>, hauleth <lukasz@niemier.pl> -# Description: This script implements a wrapper for any program which does not accept -# stdin input on most Unix machines. The input to the script is read to a -# temporary file, and the first argument sets a particular file extension -# for the temporary file. - -set -eu - -# All of the following arguments are read as command to run. -file_extension="$1" -shift - -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 - -cat > "$temp_file" - -"$@" "$temp_file" |