jw-pkg/scripts/ini-tools.sh

39 lines
585 B
Bash
Raw Normal View History

ini_section()
{
local sec="$1"
cat "$inifile" |
cut -d\# -f1 |
tr -s '\n' '\n' |
sed -n "/\[$sec\]/,/\[/ p" |
grep -v '\['
}
ini_value()
{
local path=$1
local sec=`echo $1 | sed 's/\.[^.]\+$//'`
local key=`echo $1 | sed 's/.*\.//'`
# echo "path=>$path<"
# echo "sec=>$sec<"
# echo "key=>$key<"
if [ "$key" = "$path" ]; then
ini_section $path
return 0
fi
ini_section $sec | sed "
/^ *$key *=/ !d
s/^ *$key *= *//
s/ *$//
"
}
ini_escape()
{
cat | sed '
s/\$/\\$/g
s/`/\\\`/g
'
}