this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

at main 15 lines 551 B view raw
1#!/usr/bin/env fish 2git checkout -- rapport/main.pdf 3git pull --rebase --autostash 4while true 5 pdfinfo rapport/main.pdf | rg ^Pages: | awk '{print $2}' > pages_count 6 set pdf_changes (git diff --no-patch --exit-code {slides,rapport}/*.{typ,dot,png} bib.yaml; echo $status) 7 echo "PDF updates with these changes: $pdf_changes" 8 git add {rapport,slides}/*.{typ,dot,png} bib.yaml *.fish pages_count 9 git commit --quiet -m "Continue rapport" 10 if test $pdf_changes -ne 0 11 git push --quiet --force 12 echo Pushed at (date) 13 end 14 sleep (math "60 * 30") 15end