Fix macOS sed != gnu sed problem

TobiasWrigstad · TobiasWrigstad · commit b88e97bb816a · 2020-07-31T17:53:14.000+02:00
diff --git a/scripts/do.sh b/scripts/do.sh
@@ -49,8 +49,7 @@ main() {
 doublespace() {
 	yarn process pdf; yarn process pdf; \
 	cd ${LATEX_PDF}; \
-	cp -f sicpjs.tex sicpjs_doublespace.tex; \
-	sed -i 's/onehalfspacing/doublespacing/' ../latex_pdf/sicpjs_doublespace.tex; \
+	cat sicpjs.tex | sed 's/onehalfspacing/doublespacing/' > sicpjs_doublespace.tex; 
 	latexmk -silent -pdf -pdflatex="pdflatex --synctex=1" -f ${OUTPUT_FILE}_doublespace
 }
 

Original file line number	Diff line number	Diff line change
`@@ -49,8 +49,7 @@ main() {`
`49`	`49`	`doublespace() {`
`50`	`50`	`yarn process pdf; yarn process pdf; \`
`51`	`51`	`cd ${LATEX_PDF}; \`
`52`		`- cp -f sicpjs.tex sicpjs_doublespace.tex; \`
`53`		`- sed -i 's/onehalfspacing/doublespacing/' ../latex_pdf/sicpjs_doublespace.tex; \`
	`52`	`+ cat sicpjs.tex \| sed 's/onehalfspacing/doublespacing/' > sicpjs_doublespace.tex;`
`54`	`53`	`latexmk -silent -pdf -pdflatex="pdflatex --synctex=1" -f ${OUTPUT_FILE}_doublespace`
`55`	`54`	`}`
`56`	`55`