diff options
| author | Joshua Liu <joshua.liu@sourceobby.com> | 2025-09-13 17:17:13 -0400 | 
|---|---|---|
| committer | Joshua Liu <joshua.liu@sourceobby.com> | 2025-09-13 17:17:13 -0400 | 
| commit | 870a207520fd595b06d44453e51635fa8b3abf29 (patch) | |
| tree | 96134c7f310d6ff65399d055b3d381ffa7ccf66e | |
| parent | c9d6e31375aca7c74a1f7735e5302af075db933f (diff) | |
bugfix: fixed an error with the for loop
| -rwxr-xr-x | deploy.sh | 7 | 
1 files changed, 3 insertions, 4 deletions
| @@ -30,15 +30,14 @@ cp "${cur}/assets/"*.png ${path}  echo "done" -  # Now we modify the template files so that they point to the right directory  echo "Modifying the template files" -templates=`ls | grep .tex` - -for file in 'seq $templates' +for file in `ls | grep .tex`  do       sed -r "s/^### Insert graphicspath command here ###/\\\graphicspath {$path}/" -i $file   done +echo "done" + | 
