fix: allow deleting ssh key and remove debug logs
All checks were successful
Deploy Website / build-and-deploy (push) Successful in 29s
All checks were successful
Deploy Website / build-and-deploy (push) Successful in 29s
This commit is contained in:
@@ -23,7 +23,5 @@ cp "$TEX_FILE" "$TEX_BUILD"
|
||||
pushd "${TEX_BUILD}"
|
||||
pdflatex "$(basename "$TEX_FILE")" > /dev/null
|
||||
popd
|
||||
ls -al "$TEX_BUILD"
|
||||
ls -al "$TEX_BUILD/$(basename "${TEX_FILE%.tex}.pdf")"
|
||||
cp "$TEX_BUILD/$(basename "${TEX_FILE%.tex}.pdf")" "$(dirname "$TEX_FILE")"
|
||||
rm "$TEX_FILE"
|
||||
|
||||
Reference in New Issue
Block a user