diff options
author | Junegunn Choi <junegunn.c@gmail.com> | 2015-08-05 23:50:38 +0900 |
---|---|---|
committer | Junegunn Choi <junegunn.c@gmail.com> | 2015-08-05 23:50:38 +0900 |
commit | bae10a6582f42bab7c8b46e2817ed286ab7807c9 (patch) | |
tree | 527885040f7b47e9b04099e92450abe900295dfe | |
parent | c4cf90a3d22a4641633f366fe64b992a62dab13f (diff) |
[install] Add an extra new line character
so that it doesn't corrupt file that doesn't end with a new line
character. Close #311.
-rwxr-xr-x | install | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -250,6 +250,7 @@ append_line() { if [ -n "$line" ]; then echo " - Already exists: line #$line" else + echo >> "$2" echo "$1" >> "$2" echo " + Added" fi |