diff options
author | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-12-29 14:37:00 -0800 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-12-29 14:40:21 -0800 |
commit | 30d3712038c3972dc4baf36870f8a69e2893ce3f (patch) | |
tree | d1cf35802bb078caad0c8ebff0db586606cc7b78 /scripts/readproperties.awk | |
parent | 841389bc6f879031a8d36a5ffcca5e3c0e1fdcef (diff) | |
download | scala-30d3712038c3972dc4baf36870f8a69e2893ce3f.tar.gz scala-30d3712038c3972dc4baf36870f8a69e2893ce3f.tar.bz2 scala-30d3712038c3972dc4baf36870f8a69e2893ce3f.zip |
Import scripts verbatim from jenkin-scripts
Diffstat (limited to 'scripts/readproperties.awk')
-rw-r--r-- | scripts/readproperties.awk | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/scripts/readproperties.awk b/scripts/readproperties.awk new file mode 100644 index 0000000000..96da94775b --- /dev/null +++ b/scripts/readproperties.awk @@ -0,0 +1,39 @@ +# Adapted from http://stackoverflow.com/questions/1682442/reading-java-properties-file-from-bash/2318840#2318840 +BEGIN { + FS="="; + n=""; + v=""; + c=0; # Not a line continuation. +} +/^\#/ { # The line is a comment. Breaks line continuation. + c=0; + next; +} +/\\$/ && (c==0) && (NF>=2) { # Name value pair with a line continuation... + e=index($0,"="); + n=substr($0,1,e-1); + v=substr($0,e+1,length($0) - e - 1); # Trim off the backslash. + c=1; # Line continuation mode. + next; +} +/^[^\\]+\\$/ && (c==1) { # Line continuation. Accumulate the value. + v= "" v substr($0,1,length($0)-1); + next; +} +((c==1) || (NF>=2)) && !/^[^\\]+\\$/ { # End of line continuation, or a single line name/value pair + if (c==0) { # Single line name/value pair + e=index($0,"="); + n=substr($0,1,e-1); + v=substr($0,e+1,length($0) - e); + } else { # Line continuation mode - last line of the value. + c=0; # Turn off line continuation mode. + v= "" v $0; + } + # Make sure the name is a legal shell variable name + gsub(/[^A-Za-z0-9_]/,"_",n); + # Silently drop everything that might confuse bash. + gsub(/[\n\r\\\t'"\$!]/,"",v); + print "export " n "=\"" v "\" || echo \"Failed to set " n "\""; # don't make bash crap out when a property could not be parsed + n = ""; + v = ""; +} |