1
2
3	#### oil usage
4
5	set +o errexit
6
7	$SH --location-str foo.hay --location-start-line 42 -c 'echo ()' 2>err.txt
8
9	cat err.txt | grep -o -- '-- foo.hay:42: Unexpected'
10
11
12	# common idiom is to use -- to say it came from a file
13	$SH --location-str '[ stdin ]' --location-start-line 10 -c 'echo "line 10";
14	echo ()' 2>err.txt
15
16	cat err.txt | fgrep -o -- '-- [ stdin ]:11: Unexpected'
17
18	## STDOUT:
19	-- foo.hay:42: Unexpected
20	line 10
21	-- [ stdin ]:11: Unexpected
22	## END