Updaate dots

files/emacs/init.org

@@ -36,7 +36,7 @@ the =after-save-hook= ensuring to always tangle and byte-compile the
 #+BEGIN_SRC emacs-lisp
 (defun tangle-init ()
   (when (equal (buffer-file-name)
-               (expand-file-name (concat (getenv "HOME") "/.dots/files/emacs/.emacs.d/init.org")))
+               (expand-file-name (concat (getenv "HOME") "/.dots/files/emacs/init.org")))
     ;; Avoid running hooks when tangling.
     (let ((prog-mode-hook nil))
       (org-babel-tangle))))
@@ -702,11 +702,15 @@ Sometimes, a big red TODO is more intimidating than one with normal text color.
   (defface hl-todo-TODO
     '((t :background "#cc241d" :foreground "#ffffff"))
     "TODO Face")
+  (defface hl-todo-UNUSED
+    '((t :background "#859900" :foreground "#ffffff"))
+    "TODO Face")
   (setq hl-todo-highlight-punctuation ":"
         hl-todo-color-background t
         hl-todo-keyword-faces '(("TODO"  . hl-todo-TODO)
                                 ("XXX"   . hl-todo-TODO)
-                                ("FIXME" . hl-todo-TODO))))
+                                ("FIXME" . hl-todo-TODO)
+                                ("UNUSED" . hl-todo-UNUSED))))
 #+end_src
 
 
@@ -880,23 +884,6 @@ Python's lsp has auto configuration for =lsp-mode=
 #+end_src
 
 
-** Debugging with =dap-mode=
-#+begin_src emacs-lisp
-(use-package dap-mode
-  :straight t)
-#+end_src
-
-*** python
-Setup some things to use dap-mode together with python.
-It depends on =ptvsd=, which can be installed via =pip=.
-#+begin_src emacs-lisp
-(require 'dap-python)
-#+end_src
-
-*** rust
-TODO: add rust config for debugging
-
-
 ** Input methods
 *** spelling
 Sjoe my speling misttakes.

files/environment/.config/environment.d/envvars.conf

@@ -1,3 +1,3 @@
-PATH=$PATH:$HOME/.dots/scripts:$HOME/.cargo/bin:$HOME/.ghcup/bin:$HOME/.local/bin
+PATH=$PATH:$HOME/.dots/scripts:$HOME/.cargo/bin:$HOME/.ghcup/bin:$HOME/.local/bin:$HOME/.cabal/bin
 EDITOR=vim
 VISUAL=vim

files/git/.gitconfig

@@ -1,8 +1,8 @@
 [user]
 	name = Marco Thomas
 	email = rb.ma.tho@gmail.com
-[includeIf "gitdir:~/dev/lrz-gitlab/**"]
-	path = "~/dev/lrz-gitlab/.gitconfig"
+[includeIf "gitdir:~/dev/hm/lrz-gitlab/**"]
+	path = "~/dev/hm/lrz-gitlab/.gitconfig"
 [alias]
 	aa = add .
 	st = status

files/zsh/.zshrc

@@ -51,6 +51,8 @@ alias rm='rm -i' # Ask before removal
 alias cp='cp -i' # Ask before removal
 alias mv='mv -i' # Ask before removal
 
+alias powershell='PS1="windowsadm@powershell$ " bash'
+
 alias conservation='cat /sys/bus/platform/drivers/ideapad_acpi/VPC2004:00/conservation_mode'
 
 alias truecolor='curl -s https://raw.githubusercontent.com/JohnMorales/dotfiles/master/colors/24-bit-color.sh | bash'

org/notes.org

@@ -44,7 +44,11 @@
 #+LATEX_HEADER: \theoremstyle{definition}
 #+LATEX_HEADER: \newtheorem{definition}{Definition}[section]
 #+LATEX_HEADER: \tcolorboxenvironment{definition}{blanker,before skip=10pt,after skip=10pt}
-% TODO: color boxes
+
+% example
+#+LATEX_HEADER: \theoremstyle{definition}
+#+LATEX_HEADER: \newtheorem{ex}{Beispiel}[section]
+#+LATEX_HEADER: \tcolorboxenvironment{ex}{blanker,before skip=10pt,after skip=10pt}
 
 % theorem
 #+LATEX_HEADER: \newtheorem{theorem}{Satz}[section]
@@ -60,6 +64,9 @@
 #+LATEX_HEADER: \newtheorem*{remark}{Bemerkung}
 #+LATEX_HEADER: \tcolorboxenvironment{remark}{blanker,before skip=10pt,after skip=10pt}
 
+% proof
+#+LATEX_HEADER: \tcolorboxenvironment{proof}{blanker,before skip=10pt,after skip=10pt}
+
 %%% code blocks
 #+latex_header: \usepackage{minted}
 #+latex_header: \usemintedstyle{friendly}

org/presentations.org

@@ -23,3 +23,12 @@
 #+LATEX_HEADER: \usepackage{color}
 #+LATEX_HEADER: \usepackage{proof}
 
+% page numbers in the bottom right
+#+LATEX_HEADER: \addtobeamertemplate{navigation symbols}{}{%
+#+LATEX_HEADER:     \usebeamerfont{footline}%
+#+LATEX_HEADER:     \usebeamercolor[fg]{footline}%
+#+LATEX_HEADER:     \hspace{1em}%
+#+LATEX_HEADER:     \raisebox{2pt}[0pt][0pt]{\insertframenumber/\inserttotalframenumber}
+#+LATEX_HEADER: }
+
+