fzf

foot/.config/foot/foot.ini

@@ -6,7 +6,7 @@ pad=4x2 center
 blink=yes
 
 [colors-dark]
-alpha=0.9
+alpha=0.99
 background=282828
 foreground=ebdbb2
 regular0=282828

nvim/.config/nvim/after/ftplugin/c.lua

@@ -1 +1,3 @@
 vim.opt.expandtab = false
+vim.opt.shiftwidth = 8
+vim.opt.tabstop = 8

nvim/.config/nvim/after/ftplugin/haskell.lua

@@ -1,13 +0,0 @@
-require('haskell-tools').lsp.start()
-
-local ht = require('haskell-tools')
-local bufnr = vim.api.nvim_get_current_buf()
-local opts = { noremap = true, silent = true, buffer = bufnr, }
-vim.keymap.set('n', '<space>cl', vim.lsp.codelens.run, opts)
-vim.keymap.set('n', '<space>hs', ht.hoogle.hoogle_signature, opts)
-vim.keymap.set('n', '<space>ea', ht.lsp.buf_eval_all, opts)
-vim.keymap.set('n', '<leader>rr', ht.repl.toggle, opts)
-vim.keymap.set('n', '<leader>rf', function()
-  ht.repl.toggle(vim.api.nvim_buf_get_name(0))
-end, opts)
-vim.keymap.set('n', '<leader>rq', ht.repl.quit, opts)

nvim/.config/nvim/lua/plugins/colors.lua

@@ -1,30 +1,15 @@
 return {
     {
-        'norcalli/nvim-colorizer.lua',
-        config = true
+        'catgoose/nvim-colorizer.lua',
+        event = 'BufReadPre',
+        opts = {},
     },
     {
-        'catppuccin/nvim',
-        name = 'catppuccin',
+        'ellisonleao/gruvbox.nvim',
         priority = 1000,
         config = function()
-            require('catppuccin').setup({
-                transparent_background = true,
-            })
-            vim.cmd.colorscheme([[catppuccin-mocha]])
-        end
-    },
-    -- {
-    --     "Mofiqul/adwaita.nvim",
-    --     lazy = false,
-    --     priority = 1000,
-    --
-    --     -- configure and set on startup
-    --     config = function()
-    --         vim.g.adwaita_darker = true             -- for darker version
-    --         -- vim.g.adwaita_disable_cursorline = true -- to disable cursorline
-    --         vim.g.adwaita_transparent = true        -- makes the background transparent
-    --         vim.cmd('colorscheme adwaita')
-    --     end
-    -- }
+            vim.o.background = 'dark'
+            vim.cmd.colorscheme([[gruvbox]])
+        end,
+    }
 }

nvim/.config/nvim/lua/plugins/languages/haskell.lua

@@ -1,7 +0,0 @@
-return {
-    {
-        'mrcjkb/haskell-tools.nvim',
-        version = '^4',
-        lazy = false,
-    }
-}

nvim/.config/nvim/lua/plugins/languages/idris.lua

@@ -1,80 +0,0 @@
-return {
-    {
-        'idris-community/idris2-nvim',
-        event = { 'BufReadPre *.idr', 'BufNewFile *.idr' },
-        dependencies = {
-            'neovim/nvim-lspconfig',
-            'MunifTanjim/nui.nvim',
-            'folke/which-key.nvim'
-        },
-        config = function()
-            local wk = require('which-key')
-            local action = require('idris2.code_action')
-            local hover = require('idris2.hover')
-            local meta = require('idris2.metavars')
-            local browse = require('idris2.browse')
-            local repl = require('idris2.repl')
-
-            require('idris2').setup({
-                client = {
-                    hover = {
-                        use_split = false,
-                        split_size = '30%',
-                        auto_resize_split = false,
-                        split_position = 'bottom',
-                        with_history = true,
-                    },
-                },
-                -- autostart_semantic = true,
-                -- code_action_post_hook = save_hook,
-                -- use_default_semantic_hl_groups = true,
-                server = {
-                    init_options = {
-                        logFile = "~/.cache/idris2-lsp/server.log",
-                        longActionTimeout = 2000,
-                    },
-                    on_attach = function(...)
-                        wk.add({
-                            { '<leader>c', action.case_split, desc = 'Split case' },
-
-                            { '<leader>i', group = 'idris action' },
-                            { '<leader>ic', action.make_case, desc = 'Make case' },
-                            { '<leader>iw', action.make_with, desc = 'Make with' },
-                            { '<leader>il', action.make_lemma, desc = 'Make lemma' },
-                            { '<leader>ia', action.add_clause, desc = 'Add clause' },
-                            { '<leader>io', action.expr_search, desc = 'Expr search' },
-                            { '<leader>ig', action.generate_def, desc = 'Generate definition' },
-                            { '<leader>ir', action.refine_hole, desc = 'Refine hole' },
-                            { '<leader>ib', browse.browse, desc = 'Browse' },
-
-                            { '<leader>s', group = 'idris split' },
-                            { '<leader>so', hover.open_split, desc = 'Open' },
-                            { '<leader>sc', hover.close_split, desc = 'Close' },
-
-                            { '<leader>m', group = 'idris metavariables' },
-                            { '<leader>mm', meta.request_all, desc = 'Request all' },
-                            { '<leader>mn', meta.goto_next, desc = 'Next' },
-                            { '<leader>mp', meta.goto_prev, desc = 'Previous' },
-
-                            { '<leader>e', group = 'idris evaluate' },
-                            { '<leader>ee', repl.evaluate, desc = 'Expression' },
-                            {
-                                '<leader>ev',
-                                function() repl.evaluate({ visual = true}) end,
-                                desc = 'Visual selection',
-                                mode = 'v',
-                                group = 'idris evaluate'
-                            },
-                            {
-                                '<leader>er',
-                                function() repl.evaluate({ visual = true, sub = true}) end,
-                                desc = 'Replace selection',
-                                mode = 'v'
-                            },
-                        })
-                    end
-                }
-            })
-        end
-    }
-}

nvim/.config/nvim/lua/plugins/languages/lean.lua

@@ -1,16 +0,0 @@
-return {
-    {
-        'Julian/lean.nvim',
-        event = { 'BufReadPre *.lean', 'BufNewFile *.lean' },
-
-        dependencies = {
-            'neovim/nvim-lspconfig',
-            'nvim-lua/plenary.nvim',
-        },
-
-        opts = {
-            lsp = {},
-            mappings = true,
-        }
-    }
-}

nvim/.config/nvim/lua/plugins/languages/zig.lua

@@ -1,28 +0,0 @@
-return {}
--- return {
---     {
---         "jinzhongjia/zig-lamp",
---         event = "VeryLazy",
---         build = ":ZigLamp build sync",
---         dependencies = {
---             "neovim/nvim-lspconfig",
---             "nvim-lua/plenary.nvim",
---         },
---         init = function()
---             -- Timeout in milliseconds for automatic ZLS installation
---             -- Set to nil to disable auto-install
---             vim.g.zig_lamp_zls_auto_install = nil
---
---             -- Fallback to system ZLS if local version not found
---             -- Set to any non-negative value to enable
---             vim.g.zig_lamp_fall_back_sys_zls = nil
---
---             -- LSP configuration options passed to lspconfig
---             vim.g.zig_lamp_zls_lsp_opt = {}
---
---             -- UI customization
---             vim.g.zig_lamp_pkg_help_fg = "#CF5C00"
---             vim.g.zig_lamp_zig_fetch_timeout = 5000
---         end,
---     }
--- }

nvim/.config/nvim/lua/plugins/lsp.lua

@@ -5,29 +5,6 @@ return {
             local capabilities = require('cmp_nvim_lsp').default_capabilities()
             local wk = require('which-key')
 
-            vim.lsp.enable('ocamllsp')
-            vim.lsp.config('ocamllsp', {
-                capabilities = capabilities
-            })
-
-            vim.lsp.enable('tinymist')
-            vim.lsp.config('tinymist', {
-                settings = {
-                    formatterMode = "typstyle",
-                    exportPdf = "onType",
-                    semanticTokens = "disable",
-                }
-            })
-
-            vim.lsp.enable('millet')
-            vim.lsp.config('millet', {
-                root_dir = function(fname)
-                    local util = vim.lsp.config.util
-                    return util.root_pattern(".cm", ".mlb")(fname)
-                        or util.path.dirname(fname)
-                end
-            })
-
             vim.lsp.enable('clangd')
             vim.lsp.config('clangd', {
                 capabilities = capabilities
@@ -60,24 +37,12 @@ return {
             })
         end,
         dependencies = {
-            'ray-x/lsp_signature.nvim',
             'hrsh7th/nvim-cmp',
         }
     },
-    {
-        'ray-x/lsp_signature.nvim',
-        event = 'VeryLazy',
-        opts = {
-            hind_prefix = 'λ ',
-        },
-    },
     {
         'j-hui/fidget.nvim',
         config = true,
         event = 'VeryLazy',
     },
-    {
-        'onsails/lspkind.nvim',
-        event = 'VeryLazy',
-    }
 }

nvim/.config/nvim/lua/plugins/ui.lua

@@ -1,8 +1,4 @@
 return {
-    {
-        'stevearc/dressing.nvim',
-        opts = {},
-    },
     {
         "nvim-neo-tree/neo-tree.nvim",
         branch = "v3.x",

nvim/.config/nvim/lua/plugins/utils.lua

@@ -5,10 +5,6 @@ return {
         event = 'VeryLazy',
         config = true,
     },
-    {
-        'mateuszwieloch/automkdir.nvim',
-        event = 'VeryLazy',
-    },
     {
         'NeogitOrg/neogit',
         dependencies = {
@@ -72,28 +68,4 @@ return {
             navigator.setup()
         end
     },
-    {
-        'echasnovski/mini.align',
-        version = false,
-        opts = {
-            -- modifiers = {
-            --     i = function(steps, _)
-            --         table.insert(steps.pre_split, align.gen_step.ignore_split({ '".-"', "'.-'", '(.-)' }))
-            --     end
-            -- }
-        }
-    },
-    {
-        'stevearc/conform.nvim',
-        opts = {
-            formatters_by_ft = {
-                rust = { 'rustfmt', lsp_format = 'fallback' },
-                sml = { 'smlfmt' },
-            },
-            format_on_save = {
-                timeout_ms = 500,
-                lsp_format = 'fallback',
-            }
-        }
-    }
 }

scripts/.local/bin/books.sh

@@ -2,7 +2,7 @@
 
 prefix=$HOME/Nextcloud/Books/
 dmenu="bemenu -p books --center --list 20 down --width-factor 0.5 --border 2 --bdr #fabd2f"
-pdf=zathura
+pdf=sioyek
 
 choice=$(find $prefix -type f | sed "s|$prefix||;s/_/ /g" | $dmenu)
 

scripts/.local/bin/papers.sh

@@ -2,7 +2,7 @@
 
 prefix=$HOME/Nextcloud/Papers/
 dmenu="bemenu -p papers --center --list 20 down --width-factor 0.5 --border 2 --bdr #fabd2f"
-pdf=zathura
+pdf=sioyek
 
 choice=$(find $prefix -type f | sed "s|$prefix||;s/_/ /g" | $dmenu)
 

zsh/.config/zsh/.zprofile

@@ -5,7 +5,9 @@ export PATH="$HOME/.local/share/cargo/bin:$HOME/.cache/cabal/bin:$HOME/.local/bi
 
 # Bemenu
 export BEMENU_OPTS='--ignorecase --fb "#282828" --ff "#ebdbb2" --nb "#282828" --nf "#ebdbb2" --tb "#282828" --hb "#282828" --tf "#fb4934" --hf "#fabd2f" --nf "#ebdbb2" --af "#ebdbb2" --ab "#282828" --fn "Iosevka Nerd Font 16" --no-overlap --wrap'
-# export BEMENU_OPTS='--ignorecase --fb "#1e1e2e" --ff "#cdd6f4" --nb "#1e1e2e" --nf "#cdd6f4" --tb "#1e1e2e" --hb "#1e1e2e" --tf "#f5c2e7" --hf "#f9e2af" --af "#cdd6f4" --ab "#1e1e2e" --fn "Iosevka Nerd Font 16" --no-overlap --wrap'
+
+# fzf
+export FZF_DEFAULT_OPTS='--color=fg:#ebdbb2,bg:#282828,hl:#b16286 --color=fg+:#689d6a,bg+:#32302f,hl+:#d3869b --color=info:#d65d0e,prompt:#458588,pointer:#fe8019 --color=marker:#8ec07c,spinner:#cc241d,header:#fabd2f'
 
 # XDG directories
 export XDG_CACHE_HOME="$HOME/.cache"