Michael Poutre ce7652263a Fix print_index_tab to ensure cache is written ... Prior to this change the `tee` call was susceptible to its output being closed causing the pipeline to exit with `SIGPIPE`. This change replaces `tee` with two parts. 1. Write directly to `"$index_file"` 2. `cat` the contents of `"$index_file"` to `stdout`. This way, if the receiving side of the pipe exits, `cat` will exit without impacting the index cache Reimplements #264		2021-10-08 15:11:40 -07:00
..
utils.sh	Fix print_index_tab to ensure cache is written	2021-10-08 15:11:40 -07:00