dotfiles

commit 1adbc10504bad5754088048bdd54ed83ff1e7704
parent 3618a9c7a8345e30bb250a35b26ba65e305f628c
Author: Christos Margiolis <christos@margiolis.net>
Date:   Sat, 12 Mar 2022 19:06:36 +0200

push script

Diffstat:
M
scripts/.local/bin/doccomp
 | 
2
+-
A
scripts/.local/bin/push
 | 
7
+++++++

2 files changed, 8 insertions(+), 1 deletion(-)
diff --git a/scripts/.local/bin/doccomp b/scripts/.local/bin/doccomp
@@ -23,5 +23,5 @@ cd "${dir}" || exit 1
 case "${ext}" in
 	md) pandoc ${file} --pdf-engine=xelatex -V mainfont=Arial -o "${base}.pdf" ;;
 	# TODO: handle biber
-	tex) pdflatex ${file} && rm -f *.aux *.log *.out ;;
+	tex) pdflatex ${file} && rm -f *.aux *.log *.out *.bcf *.run.xml ;;
 esac
diff --git a/scripts/.local/bin/push b/scripts/.local/bin/push
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+branch=$(git branch --show-current)
+for remote in $(git remote); do
+	git push ${remote} ${branch}
+done
+gitupd