From e855f474712f9e62ad48d346afa44717709d8728 Mon Sep 17 00:00:00 2001
From: arnaucube <git@arnaucube.com>
Date: Sat, 29 Mar 2025 12:16:55 +0100
Subject: [PATCH] small update: dap-update, vim & nixos: add coq related config

---
 bin/dap-update                 | 9 +++++++++
 init.vim                       | 7 +++++--
 nixos/common-configuration.nix | 5 +++++
 3 files changed, 19 insertions(+), 2 deletions(-)

diff --git a/bin/dap-update b/bin/dap-update
index 154b3a5..3fc9f31 100755
--- a/bin/dap-update
+++ b/bin/dap-update
@@ -10,3 +10,12 @@ if [ -z $DEVICE_PATH ] ; then
 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/
diff --git a/init.vim b/init.vim
index 4edd254..833283f 100644
--- a/init.vim
+++ b/init.vim
@@ -66,6 +66,9 @@ Plug 'iden3/vim-circom-syntax'
 " 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 
 
diff --git a/nixos/common-configuration.nix b/nixos/common-configuration.nix
index 7528e94..9664dd8 100644
--- a/nixos/common-configuration.nix
+++ b/nixos/common-configuration.nix
@@ -99,6 +99,7 @@
 	vlc
 	feh
 	kolourpaint
+	gimp
 	calibre
 	tauon
 
@@ -130,6 +131,10 @@
 	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