diff --git a/.gitignore b/.gitignore index a3ee8fe..4e8cc78 100644 --- a/.gitignore +++ b/.gitignore @@ -21,6 +21,17 @@ __pycache__/ *.ncb *.gch *.gch.stamp +C_C++/sds/sds/ +# Java +*.class +*.jar +# Haskell +*.hi +# Latex +LaTeX/*.pdf +LaTeX/*.synctex.gz +LaTeX/*.aux +LaTeX/*.log # Tooling *.gdb-* *.gdb_* @@ -35,3 +46,5 @@ tmp-* *.swo *.swn *.opendb +*.bin +.do_ignore/ diff --git a/Makefile b/Makefile index 636a3ac..3f3e71e 100644 --- a/Makefile +++ b/Makefile @@ -1,2 +1,11 @@ +main: + @echo "available targets: clean batch_commit" + clean: -rm *.out + +batch_commit: + @for file in $(shell git ls-files --others --exclude-standard); do \ + git add $$file; \ + git commit -m "Added '$$file'"; \ + done