On Tue, Dec 3, 2019 at 12:20 PM Lassi Kortela <xxxxxx@lassi.io> wrote:
How would this work from awk and grep|sed? When the date is one string,
it works the same way parsing as any other string-valued property (i.e.
get the first double-quoted string from the list) - no extra parsing is
necessary. If the time were in the same string, the user would have to
limit it further with something like 'head -c 10'. Note that '-c' is not
in Posix.

Thanks to the fixed nature of both LOSE and ISO 8601, the following pipeline will extract just the build date:

fantastic-scheme -V | grep '^(build-date' | cut -d' ' -f2 | cut -c2-11

The first "cut" gives us the second space-delimited field, the second gives us the 2nd through 11th character, which is precisely yyyy-mm-dd.



John Cowan          http://vrici.lojban.org/~cowan        xxxxxx@ccil.org
A: "Spiro conjectures Ex-Lax."
Q: "What does Pat Nixon frost her cakes with?"
  --"Jeopardy" for generative semanticists