M bin/dap-update → bin/dap-update

@@ -10,3 +10,12 @@ exit 1
 fi
 
 rsync -avz --progress --ignore-existing tele-rpi5:/mnt/usb/audio/ $DEVICE_PATH
+
+# update from sd-card to the server:
+# rsync -avz --progress --ignore-existing ./ tele-rpi5:/mnt/usb/audio/
+#
+# DOWNLOAD raspberry to sdcard:
+# rsync -az -P --ignore-existing --exclude={'switch','switch_BACKUP','zips'} tele-rpi5:/mnt/usb/games/roms/ ./
+#
+# UPLOAD roms from sd-card to raspberrypi (in the `roms` dir):
+# rsync -az -P --ignore-existing --exclude={'switch','switch_BACKUP','zips'} ./ tele-rpi5:/mnt/usb/games/roms/

M init.vim → init.vim

@@ -66,6 +66,9 @@
 " LaTeX support. It needs latexmk & zathura
 Plug 'lervag/vimtex'
 
+" Coq/Rocq
+Plug 'whonore/Coqtail'
+
 " deoplete
 Plug 'Shougo/deoplete.nvim'
 let g:deoplete#enable_at_startup = 1
@@ -269,8 +272,8 @@ let g:gruvbox_contrast_dark = 'hard'
 let g:gruvbox_contrast_light = 'hard'
 let g:srcery_italic = 1
 
-set colorcolumn=100
-" set textwidth=80
+set colorcolumn=80
+set textwidth=80
 
 set background=dark 
 

M nixos/common-configuration.nix → nixos/common-configuration.nix

@@ -99,6 +99,7 @@ mpv
 	vlc
 	feh
 	kolourpaint
+	gimp
 	calibre
 	tauon
 
@@ -130,6 +131,10 @@ rustup
 	wabt # wasm binary toolkit
 	wasmedge # to execute wasm binaries
 	sage
+	coq
+	coqPackages.mathcomp
+	coqPackages.coqide
+	opam # ocaml package manager, for coq packages
 	go
 	(python3.withPackages(ps: with ps; [
 		matplotlib numpy qmk