diff options
author | Prashanth Chandra <coolshanth94@gmail.com> | 2016-10-04 02:20:13 +0800 |
---|---|---|
committer | Prashanth Chandra <coolshanth94@gmail.com> | 2016-10-04 03:07:49 +0800 |
commit | 043446998b24c3f5884ecd8653e19564dfcfd85d (patch) | |
tree | 36d55ceb7818fbe7948db40abf69a7cdeed099ca /stdin-wrapper | |
parent | 60a03cb933d09b9d32bdaee001cfa6435c3a5593 (diff) | |
download | ale-043446998b24c3f5884ecd8653e19564dfcfd85d.zip |
Add comment headers to wrappers
Diffstat (limited to 'stdin-wrapper')
-rwxr-xr-x | stdin-wrapper | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdin-wrapper b/stdin-wrapper index 96d08919..09e9436e 100755 --- a/stdin-wrapper +++ b/stdin-wrapper @@ -1,12 +1,12 @@ #!/bin/bash -eu -# 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. -# -# All of the following arguments are read as command to run. +# Author: w0rp <devw0rp@gmail.com> +# 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. +# All of the following arguments are read as command to run. file_extension="$1" shift |