From 88df6595be5f9f76f991b8b6531e9dfa5abb91f3 Mon Sep 17 00:00:00 2001 From: caandt Date: Sun, 20 Jul 2025 12:53:59 -0500 Subject: [PATCH] misc --- flake.lock | 84 ++++++++++++++--------------- user/config/lazygit/config.yml | 1 + user/config/nvim/lua/u/bindings.lua | 4 +- user/config/tmux/tmux.conf | 1 + 4 files changed, 46 insertions(+), 44 deletions(-) diff --git a/flake.lock b/flake.lock index b24c431..0a85b47 100644 --- a/flake.lock +++ b/flake.lock @@ -7,11 +7,11 @@ ] }, "locked": { - "lastModified": 1736864502, - "narHash": "sha256-ItkIZyebGvNH2dK9jVGzJHGPtb6BSWLN8Gmef16NeY0=", + "lastModified": 1746728054, + "narHash": "sha256-eDoSOhxGEm2PykZFa/x9QG5eTH0MJdiJ9aR00VAofXE=", "owner": "nix-community", "repo": "disko", - "rev": "0141aabed359f063de7413f80d906e1d98c0c123", + "rev": "ff442f5d1425feb86344c028298548024f21256d", "type": "github" }, "original": { @@ -26,11 +26,11 @@ "nixpkgs-lib": "nixpkgs-lib" }, "locked": { - "lastModified": 1741352980, - "narHash": "sha256-+u2UunDA4Cl5Fci3m7S643HzKmIDAe+fiXrLqYsR2fs=", + "lastModified": 1751413152, + "narHash": "sha256-Tyw1RjYEsp5scoigs1384gIg6e0GoBVjms4aXFfRssQ=", "owner": "hercules-ci", "repo": "flake-parts", - "rev": "f4330d22f1c5d2ba72d3d22df5597d123fdb60a9", + "rev": "77826244401ea9de6e3bac47c2db46005e1f30b5", "type": "github" }, "original": { @@ -47,11 +47,11 @@ "utils": "utils" }, "locked": { - "lastModified": 1742798776, - "narHash": "sha256-Q0BU/5EXSeMh3k5hf2on8NFQ+OW5xpLZmPP6x0vY7YY=", + "lastModified": 1752739544, + "narHash": "sha256-QZNXmrRxFe+eQMWlCzY/n+he+kTxw8SSwgvdtYwodwY=", "owner": "wamserma", "repo": "flake-programs-sqlite", - "rev": "55d6afb8dbdae5ba9984abfb27b08e66fc4fe00e", + "rev": "f324f01845e2bb01f5dcba01da095d77981ebb94", "type": "github" }, "original": { @@ -67,11 +67,11 @@ ] }, "locked": { - "lastModified": 1742771635, - "narHash": "sha256-HQHzQPrg+g22tb3/K/4tgJjPzM+/5jbaujCZd8s2Mls=", + "lastModified": 1752603129, + "narHash": "sha256-S+wmHhwNQ5Ru689L2Gu8n1OD6s9eU9n9mD827JNR+kw=", "owner": "nix-community", "repo": "home-manager", - "rev": "ad0614a1ec9cce3b13169e20ceb7e55dfaf2a818", + "rev": "e8c19a3cec2814c754f031ab3ae7316b64da085b", "type": "github" }, "original": { @@ -87,11 +87,11 @@ ] }, "locked": { - "lastModified": 1741543504, - "narHash": "sha256-IwN6eZusfeGIEtdubpJpp1wrzToi0Umwi9jbXc4AF90=", + "lastModified": 1750940343, + "narHash": "sha256-qmc/jreM09MOwQ8dOa/+yyh99rU7TowSqo8L33VHfto=", "owner": "Bali10050", "repo": "Darkly", - "rev": "40ccf235ae340ace5a55c7740db78f15d1285105", + "rev": "77770c8d3c35f7ad39da2c57122c360096df0aac", "type": "github" }, "original": { @@ -108,11 +108,11 @@ ] }, "locked": { - "lastModified": 1742694749, - "narHash": "sha256-hH/Wofw+RKBbcTMuzCvvgPrnTkmEZd54bOsT0QR7EJM=", + "lastModified": 1752717975, + "narHash": "sha256-/yuraCMP4VsL7mQzh703y9AP0xozG4oeAZcDAyI+HAU=", "owner": "fufexan", "repo": "nix-gaming", - "rev": "1491461d4a47f61264df62863ed163a00192b2f1", + "rev": "65715ab87f085344df210c568f8c5b0000f68ab8", "type": "github" }, "original": { @@ -123,11 +123,11 @@ }, "nixpkgs": { "locked": { - "lastModified": 1742669843, - "narHash": "sha256-G5n+FOXLXcRx+3hCJ6Rt6ZQyF1zqQ0DL0sWAMn2Nk0w=", + "lastModified": 1752480373, + "narHash": "sha256-JHQbm+OcGp32wAsXTE/FLYGNpb+4GLi5oTvCxwSoBOA=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "1e5b653dff12029333a6546c11e108ede13052eb", + "rev": "62e0f05ede1da0d54515d4ea8ce9c733f12d9f08", "type": "github" }, "original": { @@ -139,11 +139,11 @@ }, "nixpkgs-lib": { "locked": { - "lastModified": 1740877520, - "narHash": "sha256-oiwv/ZK/2FhGxrCkQkB83i7GnWXPPLzoqFHpDD3uYpk=", + "lastModified": 1751159883, + "narHash": "sha256-urW/Ylk9FIfvXfliA1ywh75yszAbiTEVgpPeinFyVZo=", "owner": "nix-community", "repo": "nixpkgs.lib", - "rev": "147dee35aab2193b174e4c0868bd80ead5ce755c", + "rev": "14a40a1d7fb9afa4739275ac642ed7301a9ba1ab", "type": "github" }, "original": { @@ -154,11 +154,11 @@ }, "nixpkgs-stable": { "locked": { - "lastModified": 1742751704, - "narHash": "sha256-rBfc+H1dDBUQ2mgVITMGBPI1PGuCznf9rcWX/XIULyE=", + "lastModified": 1751274312, + "narHash": "sha256-/bVBlRpECLVzjV19t5KMdMFWSwKLtb5RyXdjz3LJT+g=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "f0946fa5f1fb876a9dc2e1850d9d3a4e3f914092", + "rev": "50ab793786d9de88ee30ec4e4c24fb4236fc2674", "type": "github" }, "original": { @@ -178,11 +178,11 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1742651803, - "narHash": "sha256-X5mMwm6EaXGVZQWyPRCfw/+cnPdCcUqX2itOyE8Yxps=", + "lastModified": 1752693235, + "narHash": "sha256-LsThopyC+n07N8L3o8USxTT88SEsjMz/RhmAuI+S17o=", "owner": "pwndbg", "repo": "pwndbg", - "rev": "876482a2bb5cfafa31f25a88ce411535a566b46f", + "rev": "032ba5fb969c74617ef27e68d20223703dff38f2", "type": "github" }, "original": { @@ -207,11 +207,11 @@ ] }, "locked": { - "lastModified": 1740362541, - "narHash": "sha256-S8Mno07MspggOv/xIz5g8hB2b/C5HPiX8E+rXzKY+5U=", + "lastModified": 1742689179, + "narHash": "sha256-kDXV6r6pQp6sxBKKxXqcTGPdiH63m8WA+IvzHhdZlEg=", "owner": "pyproject-nix", "repo": "build-system-pkgs", - "rev": "e151741c848ba92331af91f4e47640a1fb82be19", + "rev": "5c2a1faadc4015d50eb9919a8e20c112f3765fc2", "type": "github" }, "original": { @@ -228,11 +228,11 @@ ] }, "locked": { - "lastModified": 1740921768, - "narHash": "sha256-4d27TdYoJ8B99b4kU7qESB4QVjiV9gPSuP2/MDqjDWo=", + "lastModified": 1743085397, + "narHash": "sha256-mCJgxAltNx9uzYTpaSNr6yQtDMXnRykXL87L2bLmsPo=", "owner": "pyproject-nix", "repo": "pyproject.nix", - "rev": "ca5d23f044943a23cc4274b2d3dea45682dc025f", + "rev": "af4c3ccf8cffcd49626b0455defb0f6b22cc1910", "type": "github" }, "original": { @@ -261,11 +261,11 @@ ] }, "locked": { - "lastModified": 1742700801, - "narHash": "sha256-ZGlpUDsuBdeZeTNgoMv+aw0ByXT2J3wkYw9kJwkAS4M=", + "lastModified": 1752544651, + "narHash": "sha256-GllP7cmQu7zLZTs9z0J2gIL42IZHa9CBEXwBY9szT0U=", "owner": "Mic92", "repo": "sops-nix", - "rev": "67566fe68a8bed2a7b1175fdfb0697ed22ae8852", + "rev": "2c8def626f54708a9c38a5861866660395bb3461", "type": "github" }, "original": { @@ -301,11 +301,11 @@ ] }, "locked": { - "lastModified": 1740497536, - "narHash": "sha256-K+8wsVooqhaqyxuvew3+62mgOfRLJ7whv7woqPU3Ypo=", + "lastModified": 1743267007, + "narHash": "sha256-A5lFzCjO3kBnpUewPaHoM1f6qgubDqw7bgIGSi5i0JE=", "owner": "pyproject-nix", "repo": "uv2nix", - "rev": "d01fd3a141755ad5d5b93dd9fcbd76d6401f5bac", + "rev": "ede084fd69a0b656acb1ac20e6609385a3f967ba", "type": "github" }, "original": { diff --git a/user/config/lazygit/config.yml b/user/config/lazygit/config.yml index f0a0319..be9660d 100644 --- a/user/config/lazygit/config.yml +++ b/user/config/lazygit/config.yml @@ -11,3 +11,4 @@ os: git: autoFetch: false autoRefresh: false +notARepository: quit diff --git a/user/config/nvim/lua/u/bindings.lua b/user/config/nvim/lua/u/bindings.lua index 832b1d9..31fc691 100644 --- a/user/config/nvim/lua/u/bindings.lua +++ b/user/config/nvim/lua/u/bindings.lua @@ -10,7 +10,7 @@ map('n', 'h', 'sp', {desc = "split [H]orizontal"}) map('n', 'q:', '') map('n', 'cd', vim.diagnostic.open_float, {desc = "[C]ode [D]iagnostic"}) map('n', 'x', '"_x') -map('n', '', 'CoqNext') -map('n', '', 'CoqUndo') +map('n', '', 'CoqNext') +map('n', '', 'CoqUndo') map('i', '', 'CoqNext') map('i', '', 'CoqUndo') diff --git a/user/config/tmux/tmux.conf b/user/config/tmux/tmux.conf index 4dc503b..117aba0 100644 --- a/user/config/tmux/tmux.conf +++ b/user/config/tmux/tmux.conf @@ -113,3 +113,4 @@ bind -T root WheelDownPane \ #set -g @plugin 'tmux-plugins/tmux-sessionist' #run '~/.config/tmux/plugins/tpm/tpm' +set -g @vim_navigator_prefix_mapping_clear_screen ''