Using awk:
$ awk 'BEGIN{RS="";ORS="\n\n"} /^\[Profile/; /^\[Install/ && match($0,/\nDefault=[^[:space:]]+/){ print substr($0,RSTART,RLENGTH) }' file Prabhjot Singh
- 2.4k
- 1
- 6
- 20
Using awk:
$ awk 'BEGIN{RS="";ORS="\n\n"} /^\[Profile/; /^\[Install/ && match($0,/\nDefault=[^[:space:]]+/){ print substr($0,RSTART,RLENGTH) }' file