Closed dcermak closed 1 year ago
@tlssuse you are requesting one more change from @dcermak, correct? I will merge and push/publish the doc after this is done. Thanks!!
@chabowski : Yes, once these changes are made, it will be ready to merge.
All requested changes have been implemented with PR #99. Closing this PR without merging.
set -eux pipefail
toset -euxo pipefail
, without theo
,pipefail
does nothingcd $NOTEBOOKS