diff options
| -rwxr-xr-x | scripts/property_utils.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/scripts/property_utils.sh b/scripts/property_utils.sh index 8ac285af760..035ce53ba07 100755 --- a/scripts/property_utils.sh +++ b/scripts/property_utils.sh @@ -8,12 +8,12 @@ set -euo pipefail -function cnt_lines() { +function cnt_lines { local FILE=$1 cat $FILE | wc -l } -function write_prop() { +function write_prop { local PROPERTY=$1 local VALUE=$2 local FILE=$3 @@ -25,7 +25,7 @@ function write_prop() { echo "${PROPERTY}=${VALUE}" >> $FILE } -function set_property() { +function set_property { local PROPERTY=$1 local VALUE=$2 local FILE=$3 @@ -46,10 +46,10 @@ function set_property() { local NEW_LINE_COUNT=$(cnt_lines $FILE) if [[ $LINE_COUNT -gt $NEW_LINE_COUNT ]]; then - write_prop $PROPERTY $VALUE $FILE + write_prop "$PROPERTY" "$VALUE" "$FILE" fi else - write_prop $PROPERTY $VALUE $FILE + write_prop "$PROPERTY" "$VALUE" "$FILE" fi } |