From 2c7de67fbb07c3d5c7a5c10cb5fdabd5ad7e4861 Mon Sep 17 00:00:00 2001 From: Josia Pietsch Date: Thu, 13 Apr 2023 16:14:55 +0200 Subject: [PATCH] initial commit --- .ci/build_document.sh | 13 ++++++++++ .ci/git-info-2.sh | 31 +++++++++++++++++++++++ .gitignore | 56 ++++++++++++++++++++++++++++++++++++++++++ .gitlab-ci.yml | 34 +++++++++++++++++++++++++ .gitmodules | 3 +++ .latexmkrc | 3 +++ LatexPackagesBuild | 1 + Makefile | 31 +++++++++++++++++++++++ README.md | 11 +++++++++ export_texinputs.sh | 1 + inputs/.gitkeep | 0 probability_theory.tex | 18 ++++++++++++++ wtheo.sty | 1 + 13 files changed, 203 insertions(+) create mode 100755 .ci/build_document.sh create mode 100755 .ci/git-info-2.sh create mode 100644 .gitignore create mode 100644 .gitlab-ci.yml create mode 100644 .gitmodules create mode 100644 .latexmkrc create mode 160000 LatexPackagesBuild create mode 100644 Makefile create mode 100644 README.md create mode 100755 export_texinputs.sh create mode 100644 inputs/.gitkeep create mode 100644 probability_theory.tex create mode 100644 wtheo.sty diff --git a/.ci/build_document.sh b/.ci/build_document.sh new file mode 100755 index 0000000..7eb9ec7 --- /dev/null +++ b/.ci/build_document.sh @@ -0,0 +1,13 @@ +set -e +echo "Building document" +make pdf +mkdir public +mv build/probability_theory.pdf public +mv build/probability_theory.log public +cd public/ +if ! command -v tree &> /dev/null +then + echo "No tree utility found, skipping making tree" +else + tree -H '.' -I "index.html" -D --charset utf-8 -T "Probability Theory" > index.html +fi diff --git a/.ci/git-info-2.sh b/.ci/git-info-2.sh new file mode 100755 index 0000000..45b72b4 --- /dev/null +++ b/.ci/git-info-2.sh @@ -0,0 +1,31 @@ +#!/bin/sh +# Copyright 2015 Brent Longborough +# Part of gitinfo2 package Version 2 +# Release 2.0.7 2015-11-22 +# Please read gitinfo2.pdf for licencing and other details +# ----------------------------------------------------- +# Post-{commit,checkout,merge} hook for the gitinfo2 package +# +# Get the first tag found in the history from the current HEAD +FIRSTTAG=$(git describe --tags --always --dirty='-*' 2>/dev/null) +# Get the first tag in history that looks like a Release +RELTAG=$(git describe --tags --long --always --dirty='-*' --match '[0-9]*.*' 2>/dev/null) +# Hoover up the metadata +git -c log.showSignature=false --no-pager log -1 --date=short --decorate=short \ + --pretty=format:"\usepackage[% + shash={%h}, + lhash={%H}, + authname={%an}, + authemail={%ae}, + authsdate={%ad}, + authidate={%ai}, + authudate={%at}, + commname={%cn}, + commemail={%ce}, + commsdate={%cd}, + commidate={%ci}, + commudate={%ct}, + refnames={%d}, + firsttagdescribe={$FIRSTTAG}, + reltag={$RELTAG} + ]{gitexinfo}" HEAD > .git/gitHeadInfo.gin diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..6a4c40f --- /dev/null +++ b/.gitignore @@ -0,0 +1,56 @@ +## Core latex/pdflatex auxiliary files: +*.aux +*.lof +*.log +*.lot +*.fls +*.out +*.toc +*.fmt +*.fot +*.cb +*.cb2 +*.loe + +## Intermediate documents: +*.dvi +*-converted-to.* + +## Bibliography auxiliary files (bibtex/biblatex/biber): +*.bbl +*.bcf +*.blg +*-blx.aux +*-blx.bib +*.brf +*.run.xml +*.latexmain + +## Build tool auxiliary files: +*.fdb_latexmk +*.synctex +*.synctex.gz +*.synctex.gz(busy) +*.pdfsync +*.tdo + +##swap files +*.swp +*.synctex(busy) + +##other help files +*.idx +*.ilg +*.ind +*.lec +*.cnt + +### main pdf file +.pdf + +## build directory +build/ + +## makefiles locks +.init-submodule-cert +.init-git-hooks-cert diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml new file mode 100644 index 0000000..b9af2cc --- /dev/null +++ b/.gitlab-ci.yml @@ -0,0 +1,34 @@ +stages: + - build + - pages + +default: + tags: + - latex + +build-document: + stage: build + script: + - .ci/build_document.sh + variables: + GIT_SUBMODULE_STRATEGY: recursive + artifacts: + paths: + - public/ + only: + - tags + - branches + # - merge_requests + + +pages: + stage: pages + artifacts: + paths: + - public/ + script: + - echo "Deploying to pages" + - test -f public/probability_theory.pdf + only: + - master + - main diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..1197bac --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "LatexPackagesBuild"] + path = LatexPackagesBuild + url = https://gitlab.com/latexci/packages/LatexPackagesBuild.git diff --git a/.latexmkrc b/.latexmkrc new file mode 100644 index 0000000..eaaf744 --- /dev/null +++ b/.latexmkrc @@ -0,0 +1,3 @@ +ensure_path('TEXINPUTS', './LatexPackagesBuild//'); # set texinputs to find custom packages +$pdf_mode = 1; # generate a pdf file by default +$out_dir = 'build'; diff --git a/LatexPackagesBuild b/LatexPackagesBuild new file mode 160000 index 0000000..400daf2 --- /dev/null +++ b/LatexPackagesBuild @@ -0,0 +1 @@ +Subproject commit 400daf229ce74e741aeec00f073230c6e64ee3f8 diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..ddfbd71 --- /dev/null +++ b/Makefile @@ -0,0 +1,31 @@ +pdf: init + latexmk + +clean: + latexmk -c + +clean-all: + latexmk -C + rm -rf build/ + +## Stuff to set up repository after cloning + +init: .init-submodule-cert .init-git-hooks-cert + +.init-submodule-cert: + @echo "[Make] Initialising git submodule for packages" + git submodule update --init --rebase + @touch .init-submodule-cert + +# Sets up git hooks for gitinfo2 package +.init-git-hooks-cert: + @echo "[Make] Setting up git hooks for package gitinfo2" + @mkdir -p .git/hooks + @cp .ci/git-info-2.sh .git/hooks/post-merge + @cp .ci/git-info-2.sh .git/hooks/post-checkout + @cp .ci/git-info-2.sh .git/hooks/post-commit + @.ci/git-info-2.sh + @touch .init-git-hooks-cert + + +.PHONY: pdf, clean, clean-all diff --git a/README.md b/README.md new file mode 100644 index 0000000..8a14dff --- /dev/null +++ b/README.md @@ -0,0 +1,11 @@ +# Probability Theory + +These are the lecture notes for the 'Probability Theory', taught in Summer 2023 at the University of Bonn. + +The [latest version][1] is availabe as a pdf download via GitLab runner. +You can also have a look at the generated [log files][2] or visit the +[gl pages][3] index directly. + +[1]: https://gitlab.com/jrpie-notes/probability-theory/probability_theory.pdf +[2]: https://gitlab.com/jrpie-notes/probability-theory/probability_theory.log +[3]: https://gitlab.com/jrpie-notes/probability-theory/ diff --git a/export_texinputs.sh b/export_texinputs.sh new file mode 100755 index 0000000..97e000c --- /dev/null +++ b/export_texinputs.sh @@ -0,0 +1 @@ +export TEXINPUTS=LatexPackagesBuild//: diff --git a/inputs/.gitkeep b/inputs/.gitkeep new file mode 100644 index 0000000..e69de29 diff --git a/probability_theory.tex b/probability_theory.tex new file mode 100644 index 0000000..3e40e45 --- /dev/null +++ b/probability_theory.tex @@ -0,0 +1,18 @@ +\documentclass[10pt,ngerman,a4paper, fancyfoot, git]{mkessler-script} + +\course{Probability Theory} +\lecturer{} +\author{} + +\usepackage{wtheo} + +\begin{document} + +\maketitle +\cleardoublepage + +\tableofcontents +\cleardoublepage + + +\end{document} diff --git a/wtheo.sty b/wtheo.sty new file mode 100644 index 0000000..65b630c --- /dev/null +++ b/wtheo.sty @@ -0,0 +1 @@ +\ProvidesPackage{wtheo}[2022/02/10 - Style file for notes of Probability Theory]