michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Added file to extract exercises using awk.

Browse source
This commit is contained in:
Wen Kokke 2019-10-02 20:42:43 +01:00
parent 4f7a16befb
commit d0597244e4
1 changed files with 14 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
exercise.sh Executable file
View file

@ -0,0 +1,14 @@
#!/bin/bash
# Script to extract exercises from PLFA chapters, e.g., `src/plfa/part1/Naturals.lagda.md`.
# Usage:
#
# ./exercise.sh [SOURCE] [TARGET]
SRC="$1"
shift
DST="$1"
shift
awk '/^#/{flag=0} /^#### Exercise/{flag=1} flag' "$SRC" > "$DST"