Merge branch 'dev' into gentoo

wget: put history in cache
zsh: more readable prompt
nvim:
        fix python-lsp path
        add maps for verilog
        remove unused maps
        change colorscheme
                !!!BREAKING : removed Polyjuice
dmenu: use XResources to define colors
dwm: cleanup file

.config/aliasrc

@@ -20,3 +20,4 @@ alias dotfiles='/usr/bin/git --git-dir=$DOTFILES --work-tree=$HOME'
 alias abcde='abcde -c $XDG_CONFIG_HOME/abcde/config'
 alias abook='abook --config $XDG_CONFIG_HOME/abook/abookrc --datafile "$XDG_DATA_HOME"/abook/addressbook'
 alias pip-upgrade="pip freeze --user | cut -d'=' -f1 | xargs -n1 pip install -U"
+alias wget="wget --hsts-file=$XDG_CACHE_HOME/wget-hsts"

.config/nvim/after/ftplugin/verilog.lua

@@ -3,8 +3,11 @@
 -- License      : GPLv3
 -- Description  : verilog fietype config
 
-utils.map("n", "<leader>j", ":CoqNext<Enter>")
-utils.map("n", "<leader>k", ":CoqUndo<Enter>")
-utils.map("n", "<leader><Enter>", ":CoqToLine<Enter>")
+utils.map("n", "<C-c>", "<cmd>CoqInterrupt<CR>")
+utils.map("n", "<leader>j", "<cmd>CoqNext<CR>")
+utils.map("n", "<leader>k", "<cmd>CoqUndo<CR>")
+utils.map("n", "<leader><CR>", "<cmd>CoqToLine<CR>")
+utils.map("n", "<leader>a", "<cmd>Coq About")
+utils.map("n", "<leader>G", "<cmd>CoqJumpToEnd")
 
 utils.map("i", "//", "∥")

.config/nvim/init.lua

@@ -9,5 +9,3 @@ require("settings")     -- ./lua/settings.lua
 require("plugins")      -- ./lua/plugins.lua
 require("maps")         -- ./lua/maps.lua
 require("statusline")   -- ./lua/statusline.lua
-
-require("polyjuice")    -- ~/.local/src/polyjuice/lua/polyjuice.lua

.config/nvim/lua/lsp/python.lua

@@ -3,4 +3,6 @@
 -- License       : GPLv3
 -- Description   : jedi (python) config file for lsp
 
-require("lspconfig").jedi_language_server.setup{}
+require("lspconfig").jedi_language_server.setup{
+    cmd = { vim.fn.stdpath("data") .. "/lsp_servers/jedi_language_server/venv/bin/jedi-language-server" }
+}

.config/nvim/lua/maps.lua

@@ -4,8 +4,6 @@
 -- Description   : neovim mappings file
 
 utils.map("n", "<space>", "<leader>")
-utils.map("n", "<leader>j", "<cmd>bn<CR>")
-utils.map("n", "<leader>k", "<cmd>bp<CR>")
 utils.map("n", "<leader>y", "\"+y")
 utils.map("n", "<leader>p", "\"+P")
 utils.map("n", "<leader><enter>", "<cmd>w! | !compiler %<CR>")

.config/nvim/lua/plugins.lua

@@ -20,8 +20,8 @@ return require("packer").startup(function()
 
         -- colorscheme
         use {
-                "~/.local/src/polyjuice/",
-                requires = "tjdevries/colorbuddy.nvim"
+                "~/.local/src/astronomy",
+                config = function() require("colorscheme") end
         }
 
         -- tree-sitter

.config/zsh/zsh_prompt

@@ -6,7 +6,7 @@ setopt prompt_subst
 zstyle ':vcs_info:git:*' check-for-changes true
 zstyle ':vcs_info:git:*' stagedstr '*'
 zstyle ':vcs_info:git:*' unstagedstr '!'
-zstyle ':vcs_info:git:*' formats '(%F{208}%b%F{015}: %c/%u%F{015}) '
+zstyle ':vcs_info:git:*' formats '(%F{202}%b%F{007}: %c/%u%F{007}) '
 zstyle ':vcs_info:*' enable git
 
 PROMPT="[ %{$fg[cyan]%}%n\

.gitmodules

@@ -1,6 +1,3 @@
-[submodule ".local/src/polyjuice"]
-	path = .local/src/polyjuice
-	url = git@github.com:swy7ch/polyjuice.git
 [submodule ".local/src/dwm"]
 	path = .local/src/dwm
 	url = git@github.com:swy7ch/dwm.git

.local/src/dmenu

@@ -1 +1 @@
-Subproject commit e64ab6522752e3ac48357fb6e3a9b37e6e03f575
+Subproject commit 0f4c5faed3e396832bd11586371698d06bf21b71

.local/src/dwm

@@ -1 +1 @@
-Subproject commit 7199d8d564c144bbf4d47641db72b071f39533c7
+Subproject commit f8ad07e02878adfbdab1241869630d608566c5c0

.local/src/polyjuice

@@ -1 +0,0 @@
-Subproject commit bd4119a8c1a57b84f9470950a514f52d81907abb