blob: 0232d0cd1d1d014b719bd8ce49225541dc84498e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
#!/usr/bin/env bash
###############################
# exposes library functions to modify properties in a property
#
# TODO function append_property
#
###############################
set -euo pipefail
cnt_lines() {
local FILE=$1
wc -l < "$FILE"
}
write_prop() {
local PROPERTY=$1
local VALUE=$2
local FILE=$3
# uncomment below to help debug calls to set_property
#echo "setting property $PROPERTY to value $VALUE in $FILE"
echo >> "$FILE"
echo "${PROPERTY}=${VALUE}" >> "$FILE"
}
set_property() {
local PROPERTY=$1
local VALUE=$2
local FILE=$3
local REGEXP="^${PROPERTY//\./\\.}[ \\t]*="
if grep -q "$REGEXP" "$FILE"; then
# delete line of specified property
LINE_COUNT=$(cnt_lines "$FILE")
if [[ "$OSTYPE" == "darwin"* ]]; then
sed -i '' "/${REGEXP}/d" "$FILE"
else
sed -i "/${REGEXP}/d" "$FILE"
fi
# add property if at least one line deleted
local NEW_LINE_COUNT=$(cnt_lines "$FILE")
if [[ $LINE_COUNT -gt $NEW_LINE_COUNT ]]; then
write_prop "$PROPERTY" "$VALUE" "$FILE"
fi
else
write_prop "$PROPERTY" "$VALUE" "$FILE"
fi
}
|
