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 | |
| parent | 60a03cb933d09b9d32bdaee001cfa6435c3a5593 (diff) | |
| download | ale-043446998b24c3f5884ecd8653e19564dfcfd85d.zip | |
Add comment headers to wrappers
| -rwxr-xr-x | dmd-wrapper | 5 | ||||
| -rwxr-xr-x | stdin-wrapper | 12 |
2 files changed, 9 insertions, 8 deletions
diff --git a/dmd-wrapper b/dmd-wrapper index 678aeb99..6db47d14 100755 --- a/dmd-wrapper +++ b/dmd-wrapper @@ -1,7 +1,8 @@ #!/bin/bash -eu -# This script wraps DMD so we can get something which is capable of reading -# D code from stdin. +# Author: w0rp <devw0rp@gmail.com> +# Description: This script wraps DMD so we can get something which is capable of reading +# D code from stdin. temp_file=`mktemp` mv "$temp_file" "$temp_file".d 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 |