nvim: updated dictionaries

.config/aliasrc

@@ -75,10 +75,10 @@ alias contacts="khard"
 alias  paint="kolourpaint"
 
 # ls(d)
-alias l="exa --group-directories-first"
+alias l="exa --group-directories-first --icons"
-alias la="exa -la --group-directories-first"
+alias la="exa -la --group-directories-first --icons --git"
-alias ll="exa -l --group-directories-first"
+alias ll="exa -l --group-directories-first --icons --git"
-alias tree="exa --tree --group-directories-first"
+alias tree="exa --tree --group-directories-first --icons"
 
 # mkdir
 alias mkdir="mkdir -p"

.config/eza/theme.yml

@@ -0,0 +1,3 @@
+extensions:
+  kepub:
+    icon: { glyph:  }

.config/nvim/init.lua

@@ -110,6 +110,7 @@ vim.filetype.add({
     sage = "python",
     sh = "bash",
     tex = "tex",
+    vpr = "viper",
   },
 })
 

.config/nvim/lazy-lock.json

@@ -15,7 +15,6 @@
   "diffview.nvim": { "branch": "main", "commit": "4516612fe98ff56ae0415a259ff6361a89419b0a" },
   "edgy.nvim": { "branch": "main", "commit": "8bfd2808994a988c975694122f68624b8a219f5f" },
   "fterm.nvim": { "branch": "master", "commit": "d1320892cc2ebab472935242d9d992a2c9570180" },
-  "fzf": { "branch": "master", "commit": "25b2248f11479f91df9fb41407a82af5f920bb3f" },
   "fzy-lua-native": { "branch": "master", "commit": "9d720745d5c2fb563c0d86c17d77612a3519c506" },
   "git-blame.nvim": { "branch": "master", "commit": "9874ec1ec8bc53beb33b7cd82c092b85271a578b" },
   "gitsigns.nvim": { "branch": "main", "commit": "1ee5c1fd068c81f9dd06483e639c2aa4587dc197" },
@@ -34,6 +33,7 @@
   "mason-lspconfig.nvim": { "branch": "main", "commit": "6bdb14f230de0904229ec367b410fb817e59b072" },
   "mason-null-ls.nvim": { "branch": "main", "commit": "de19726de7260c68d94691afb057fa73d3cc53e7" },
   "mason.nvim": { "branch": "main", "commit": "ad7146aa61dcaeb54fa900144d768f040090bff0" },
+  "mini.icons": { "branch": "main", "commit": "ff2e4f1d29f659cc2bad0f9256f2f6195c6b2428" },
   "modes.nvim": { "branch": "main", "commit": "0932ba4e0bdc3457ac89a8aeed4d56ca0b36977a" },
   "molten-nvim": { "branch": "main", "commit": "a286aa914d9a154bc359131aab788b5a077a5a99" },
   "none-ls.nvim": { "branch": "main", "commit": "5cf63841461b49989972d35bf886e076a1ab3649" },
@@ -53,19 +53,20 @@
   "nvim-web-devicons": { "branch": "master", "commit": "b8221e42cf7287c4dcde81f232f58d7b947c210d" },
   "nvim-yarp": { "branch": "master", "commit": "bb5f5e038bfe119d3b777845a76b0b919b35ebc8" },
   "ogpt.nvim": { "branch": "main", "commit": "0fae02db8cb07391f86c3dbe807f62190a2d997f" },
+  "oil.nvim": { "branch": "master", "commit": "0fcc83805ad11cf714a949c98c605ed717e0b83e" },
   "otter.nvim": { "branch": "main", "commit": "fc0aa35b1985077d11a20ddf4006bf40f2cd7397" },
   "outline.nvim": { "branch": "main", "commit": "6b62f73a6bf317531d15a7ae1b724e85485d8148" },
-  "papis-vim": { "branch": "master", "commit": "506f6a599fd06a3952a12d759d5d09642aa3d3ec" },
+  "papis.nvim": { "branch": "main", "commit": "25e69f25e51b2d46178a213356adbc28b0f918ef" },
   "plenary.nvim": { "branch": "master", "commit": "b9fd5226c2f76c951fc8ed5923d85e4de065e509" },
   "popup-menu.nvim": { "branch": "master", "commit": "b618bd0c824a20417d845fa0022327228e6988a2" },
   "projections.nvim": { "branch": "pre_release", "commit": "889914169fa1f5c00fb8659653b5a8330fb223e6" },
   "promise-async": { "branch": "main", "commit": "119e8961014c9bfaf1487bf3c2a393d254f337e2" },
   "quarto-nvim": { "branch": "main", "commit": "0e9491509b38efbd83d3f41dbfacc7fc4bd40191" },
-  "renamer.nvim": { "branch": "master", "commit": "1614d466df53899f11dd5395eaac3c09a275c384" },
   "rustaceanvim": { "branch": "master", "commit": "12504405821c05874d2d1f6b5ec919f9808e2c99" },
   "spelunker.vim": { "branch": "master", "commit": "a0bc530f62798bbe053905555a4aa9ed713485eb" },
+  "sqlite.lua": { "branch": "master", "commit": "50092d60feb242602d7578398c6eb53b4a8ffe7b" },
   "tabular": { "branch": "master", "commit": "12437cd1b53488e24936ec4b091c9324cafee311" },
-  "tccs.nvim": { "branch": "master", "commit": "e50c1504286b5ee2700961a600f26c9b338bd042" },
+  "tccs.nvim": { "branch": "master", "commit": "b729bc7702d67db41898c5d65847a766384fc734" },
   "telescope-words.nvim": { "branch": "main", "commit": "295d51fe1e525fee18c0c164ad0ae5fb23273aa0" },
   "telescope.nvim": { "branch": "master", "commit": "776b509f80dd49d8205b9b0d94485568236d1192" },
   "tidy.nvim": { "branch": "main", "commit": "c8cd0e6e0108da25c3e10c3f33d8c03b3d8806f1" },
@@ -77,6 +78,7 @@
   "vim-illuminate": { "branch": "master", "commit": "0d1e93684da00ab7c057410fecfc24f434698898" },
   "vim-markdown": { "branch": "master", "commit": "8f6cb3a6ca4e3b6bcda0730145a0b700f3481b51" },
   "vim-renamer": { "branch": "master", "commit": "9c6346eb4556cf2d8ca55de6969247ab14fe2383" },
+  "viper.nvim": { "branch": "master", "commit": "4f406ae891113fc1bfda308052c835a185188670" },
   "which-key.nvim": { "branch": "main", "commit": "b4177e3eaf15fe5eb8357ebac2286d488be1ed00" },
   "wilder.nvim": { "branch": "master", "commit": "679f348dc90d80ff9ba0e7c470c40a4d038dcecf" },
   "winshift.nvim": { "branch": "main", "commit": "37468ed6f385dfb50402368669766504c0e15583" }

.config/nvim/lua/autocmd.lua

@@ -114,3 +114,8 @@ end, {
   nargs = 1,
   complete = 'file'
 })
+
+-- stevearc/oil.nvim
+vim.api.nvim_create_user_command('Renamer', function(opts)
+  vim.cmd("Oil " .. opts.args)
+end, { nargs = "*" })

.config/nvim/lua/dictionaries/dictionary_de-de.txt

@@ -1,13 +1,20 @@
+Ambiguity
 Artifact
 Artifacts
 Betreuerrolle
 Bonitur
+Branch
 Crowd-Interaction
 Destruction
+Developer
 Dictation
-Entlebucher Sennenhund
+Dreams
+Entlebucher
+Extraction
+For-Loop
 Formatter
 Französischvokabeln
+GOAT
 Genervtheit
 Gestresstheit
 Gym
@@ -19,6 +26,7 @@ Infokratie
 Ira
 Jahreszeitenunterschied
 Jahreszeitenunterschiede
+Kardinälin
 Königinnensubstanz
 LLM-Paper
 Magazinbeute
@@ -34,6 +42,7 @@ Pollenhose
 SDS-Plenum
 SPM-Gruppe
 Scammer
+Sennenhund
 Slam
 Slammern
 Slams
@@ -43,8 +52,15 @@ Stations
 Torrenting
 Uni-Theater
 Unitheater
+Verification
+While-Loop
 Wrap-Up-Folie
+Zweifelsfall
+algenverseucht
 aneinandergelehnt
+bürgerlicher
+bürgerlichere
+bürgerlicheren
 cyber-physische
 egozentristisch
 gedätscht
@@ -52,6 +68,8 @@ gepiekst
 histoire
 ira
 performistisch
+pseudomotivierend
+pseudomotivierende
 respekt-
 rumgealbert
 shiftete

.config/nvim/lua/dictionaries/dictionary_names.txt

@@ -1,14 +1,20 @@
 APV
+Accuracy
 Akallabêth
+Altisaur
+An
 Anki
-Annoyed Altisaur
+Annoyed
 ApoRed
+Arrabbiata
 Asiahung
 Aule
 Aules
 Barros
 Beek
-Boarding Party
+Bela
+Betterov
+Boarding
 Boelsen
 Bontjes
 Brusch
@@ -19,12 +25,16 @@ Casper
 Caspers
 Cato
 CdE
+Chrysalis
 Combi
 Commander
 Daisy's
 DeepSeek
 Dekarldent
+Destiny 2
 Doom-Scrolling
+Doyma
+Eckhoff
 Edain
 Elodie
 Eyal
@@ -33,6 +43,8 @@ Flac
 Forest
 Frevert
 Freverts
+Friesenturnier
+Gathering
 GrapheneOS
 Greater
 Grixis
@@ -43,43 +55,67 @@ Hailo
 Hellmers
 Higgers
 Hough
+Hue
+Höper
 IFAM
 IFAMs
 IMRaD
 Ikigai
 Int
 Ira
+JT
 Jeanine
+Karamasov
+Kluge
 Kratom
+Kreyenhop
 Kubitschek
 Käte
 LLMs
+LightDM
 MTG
+Maarten
 Magic
-Magic: The Gathering
 Maite
 Marten
 Mathis
 Matvey
 Mauli
+Mentos
+Metzener
 MiiMii
 Mint
 Nate
 NeoVIM
 NextCloud
+Nim
 Númenor
 OFFIS
 Oberweseler
+Odysee
+Opam
 OpenCloud
 Overwatch
 Pane
 Papis
+Pauper
+Peperaci
 PfingstAka
+PfingstAka
+PfingstAkademie
 Pluribus
 PopOS
+Precision
 Precon
 Precons
+PyEnv
+Rebowl
+Reeves
+Rocq
 Ruschenbaum
+SPM
+Sagehorn
+Scheller
 Sedef
 Severance
 Shinies
@@ -90,17 +126,24 @@ SommerAkademie
 Souleyman
 SpotiFLAC
 Stina
+Stud.IP
 TCAV
 Thinkpad
 Tjark
 Tornow
+TrackPoint
+UDEV
 VIM
 Weizman
 Willenborg
 WinterAka
 WinterAkademie
-Writhing Chrysalis
+Writhing
 Ziegeleiweg
 Zimin
+eKiwi
 flac
+inf
+liquidctl
 npy
+zedbraxmen

.config/nvim/lua/plugins/oil.lua

@@ -0,0 +1,10 @@
+return {
+  -- rename files in buffer
+  {
+    "stevearc/oil.nvim",
+    ---@module 'oil'
+    ---@type oil.setupopts
+    opts = {},
+    dependencies = { "nvim-mini/mini.icons" },
+  },
+}

.config/nvim/lua/plugins/vim-renamer.lua

@@ -1,10 +0,0 @@
-return {
-  -- rename files in buffer
-  {
-    'qpkorr/vim-renamer',
-    priority = 100,
-    config = function()
-      require('renamer')
-    end
-  }
-}

.config/nvim/lua/plugins/viper-nvim.lua

@@ -0,0 +1,8 @@
+return {
+  -- highlighting for the viper verification language
+  "tiyn/viper.nvim",
+  event = { "BufReadPre *.vpr", "FileType viper" },
+  config = function()
+    require("viper").setup()
+  end,
+}

.config/vifm/vifmrc

@@ -208,11 +208,11 @@ fileviewer *.djvu
         \ %pc
         \ vifmimg clear
 
-" epub
+" (k)epub
-filextype *.epub
+filextype *.epub,*.kepub
         \ {View in zathura}
         \ zathura ./%f,
-fileviewer *.epub
+fileviewer *.epub,*.kepub
         \ vifmimg epub %px %py %pw %ph %c
         \ %pc
         \ vifmimg clear
@@ -434,7 +434,7 @@ set vifminfo=dhistory,savedirs,chistory,state,tui,shistory,
 " file types
 set classify='  :dir:/, :exe:,  :reg:, :link:'
 " various file names
-set classify+='  ::../::,  ::*.sh::,  ::*.[hc]pp::,  ::*.[hc]::,  ::/^copying|license$/::,  ::.git/,,*.git/::,  ::*.epub,,*.fb2,,*.djvu::,  ::*.pdf::, ::*.htm,,*.html,,**.[sx]html,,*.xml::'
+set classify+='  ::../::,  ::*.sh::,  ::*.[hc]pp::,  ::*.[hc]::, ::/^copying|license$/::,  ::.git/,,*.git/::,  ::*.epub,,*.kepub,,*.fb2,,*.djvu::,  ::*.pdf::, ::*.htm,,*.html,,**.[sx]html,,*.xml::'
 " archives
 set classify+=' ::*.7z,,*.ace,,*.arj,,*.bz2,,*.cpio,,*.deb,,*.dz,,*.gz,,*.jar,,*.lzh,,*.lzma,,*.rar,,*.rpm,,*.rz,,*.tar,,*.taz,,*.tb2,,*.tbz,,*.tbz2,,*.tgz,,*.tlz,,*.trz,,*.txz,,*.tz,,*.tz2,,*.xz,,*.z,,*.zip,,*.zoo::'
 " images

.config/zsh/.zshrc

@@ -85,89 +85,189 @@ function +vi-git-stash() {
 # CUSTOM WIDGETS #
 ##################
 
-_git_fix_main_master() {
+_find_venv_upwards() {
+  local dir="$PWD"
+
+  while [[ "$dir" != "/" ]]; do
+    if [[ -f "$dir/pyvenv.cfg" ]]; then
+      echo "$dir"
+      return
+    fi
+    dir=$(dirname "$dir")
+  done
+}
+
+_auto_venv() {
+  local venv_dir
+  venv_dir=$(_find_venv_upwards)
+
+  if [[ -n "$VIRTUAL_ENV" && "$VIRTUAL_ENV" != "$venv_dir" ]]; then
+    deactivate 2>/dev/null
+  fi
+
+  if [[ -n "$venv_dir" && "$VIRTUAL_ENV" != "$venv_dir" ]]; then
+    source "$venv_dir/bin/activate"
+  fi
+}
+
+autoload -U add-zsh-hook
+add-zsh-hook chpwd _auto_venv
+_auto_venv
+
+_accept_line() {
+
+  # automatically push to remote
+  if [[ "$BUFFER" == "git push" ]]; then
+    local branch
+    branch=$(git symbolic-ref --short HEAD 2>/dev/null)
+
+    if [[ -n "$branch" ]]; then
+      git rev-parse --abbrev-ref --symbolic-full-name @{u} &>/dev/null
+      if [[ $? -ne 0 ]]; then
+        BUFFER="git push -u origin $branch"
+      fi
+    fi
+  fi
+
+  # use keifu instead of git log --graph
+  if [[ "$BUFFER" =~ ^([a-zA-Z0-9_-]+)[[:space:]]+([a-zA-Z0-9_-]+)(.*)$ ]]; then
+
+    local cmd=${match[1]}
+    local subcmd=${match[2]}
+    local rest=${match[3]}
+
+    # directly via git log --graph
+    if [[ "$cmd" == "git" && "$subcmd" == "log" && "$rest" == *"--graph"* ]]; then
+      BUFFER="keifu"
+      zle accept-line
+      return
+    fi
+
+    # check for git-alias
+    if [[ "$cmd" == "git" ]]; then
+      local alias_expansion
+      alias_expansion=$(git config --get "alias.$subcmd" 2>/dev/null)
+
+      if [[ -n "$alias_expansion" && "$alias_expansion" == log*--graph* ]]; then
+        BUFFER="keifu"
+        zle accept-line
+        return
+      fi
+    fi
+
+    # shell-alias
+    if alias "$cmd" &>/dev/null; then
+      local expansion=$(alias "$cmd")
+      expansion=${expansion#*=}
+      expansion=${expansion#\'}
+      expansion=${expansion%\'}
+
+      if [[ "$expansion" =~ --git-dir=([^[:space:]]+) ]]; then
+        local gitdir=${match[1]}
+
+        if [[ "$subcmd" == "log" && "$rest" == *"--graph"* ]]; then
+          BUFFER="(cd $gitdir && keifu)"
+          zle accept-line
+          return
+        fi
+
+        # git-alias within shell-alias
+        local alias_expansion
+        alias_expansion=$(git --git-dir="$gitdir" config --get "alias.$subcmd" 2>/dev/null)
+
+        if [[ -n "$alias_expansion" && "$alias_expansion" == log*--graph* ]]; then
+          BUFFER="(cd $gitdir && keifu)"
+          zle accept-line
+          return
+        fi
+      fi
+    fi
+  fi
+
+  # swap main and master Fix
   if [[ $BUFFER == git\ * ]]; then
     local has_main=0
     local has_master=0
     git rev-parse --verify main >/dev/null 2>&1   && has_main=1
     git rev-parse --verify master >/dev/null 2>&1 && has_master=1
     if [[ $has_main -eq 1 && $has_master -eq 0 ]]; then
-      if [[ $BUFFER == *" master"* ]]; then
+      BUFFER=${BUFFER//" master"/" main"}
-        BUFFER=${BUFFER//" master"/" main"}
-      fi
     fi
     if [[ $has_master -eq 1 && $has_main -eq 0 ]]; then
-      if [[ $BUFFER == *" main"* ]]; then
+      BUFFER=${BUFFER//" main"/" master"}
-        BUFFER=${BUFFER//" main"/" master"}
-      fi
     fi
   fi
+
   zle accept-line
 }
 
-zle -N _git_fix_main_master
+zle -N _accept_line
-bindkey "^M" _git_fix_main_master
+bindkey "^M" _accept_line
 
 #########
 # STYLE #
 #########
 
-# Set style for version control
+# set style for version control
 zstyle ':vcs_info:*' enable git
 zstyle ':vcs_info:git*:*' get-revision true
 zstyle ':vcs_info:git*:*' check-for-changes true
 zstyle ':vcs_info:git*' formats "(%s) %c%u %b%m"
 zstyle ':vcs_info:git*' actionformats "(%s|%a) %12.12i %c%u %b%m"
-# Show remote ref name and number of commits ahead-of or behind
+# show remote ref name and number of commits ahead-of or behind
-# Show count of stashed changes
+# show count of stashed changes
 zstyle ':vcs_info:git*+set-message:*' hooks git-st git-stash
 
-# Set style for completion options
+# set style for completion options
 zstyle ':completion:*' menu select
 zstyle ':completion:*' matcher-list '' 'm:{a-zA-Z}={A-Za-z}' 'r:|[._-]=* r:|=*' 'l:|=* r:|=*' # Case insensitive completion
 zmodload zsh/complist
 _comp_options+=(globdots)
 
-# Disable sort when completing `git checkout`
+# disable sort when completing `git checkout`
 zstyle ':completion:*:git-checkout:*' sort false
-# Set descriptions format to enable group support
+# set descriptions format to enable group support
 zstyle ':completion:*:descriptions' format '[%d]'
-# Set list-colors to enable filename colorizing
+# set list-colors to enable filename colorizing
 zstyle ':completion:*' list-colors ${(s.:.)LS_COLORS}
-# Preview directory's content with eza when completing cd
+# preview directory's content with eza when completing cd
 zstyle ':fzf-tab:complete:cd:*' fzf-preview 'eza -1 --color=always $realpath'
-# Switch group using `,` and `.`
+# switch group using `,` and `.`
 zstyle ':fzf-tab:*' switch-group ',' '.'
 
-# Set default Vim Cursor shape
+# set default Vim Cursor shape
 zle -N zle-keymap-select
 zle -N zle-line-init
 echo -ne '\e[5 q'
 
-# Set default prompt
+# set default prompt
 PS1='%B%{$fg[blue]%}[%{$fg[blue]%}%n%{$fg[blue]%}@%{$fg[blue]%}%M %{$fg[blue]%}%~%{$fg[blue]%}]%{$reset_color%}\$%b '
 RPROMPT='%B%{$fg[blue]%}$vcs_info_msg_0_%{$reset_color%}%b'
 setopt prompt_subst
 
-# Copy to x11 clipboard
+# copy to x11 clipboard
 x11-clip-wrap-widgets copy $copy_widgets
 x11-clip-wrap-widgets paste  $paste_widgets
 
-# Enable colors
+# enable colors
 autoload -U colors && colors
 
-# Enable git info in prompt
+# enable git info in prompt
 autoload -Uz vcs_info
 
+# enable smart history search
+bindkey -M vicmd 'j' history-beginning-search-forward
+bindkey -M vicmd 'k' history-beginning-search-backward
+
 ###############
 # KEYBINDINGS #
 ###############
 
-# Enable vi mode
+# enable vi mode
 bindkey -v
 export KEYTIMEOUT=1
 
-# Vim bindings in tab mode
+# vim bindings in tab mode
 bindkey -M menuselect 'h' vi-backward-char
 bindkey -M menuselect 'k' vi-up-line-or-history
 bindkey -M menuselect 'l' vi-forward-char
@@ -178,48 +278,50 @@ bindkey -v '^?' backward-delete-char
 # ADDITIONAL FEATURES #
 #######################
 
-# Load alias
+# load alias
 [ -f "$HOME/.config/aliasrc" ] && source "$HOME/.config/aliasrc" # Load aliases
 
-# Disable ctrl-s and ctrl-q.
+# disable ctrl-s and ctrl-q.
 stty -ixon
 
-# Automatically cd if given a directory
+# automatically cd if given a directory
 setopt autocd autopushd
 
-# Enable compinit
+# enable compinit
 autoload -Uz compinit && compinit
 
-# Plugin: command not found notice
+# plugin: command not found notice
 [ -f "/usr/share/doc/pkgfile/command-not-found.zsh" ] && source /usr/share/doc/pkgfile/command-not-found.zsh
 
-# Plugin: fuzzy completion
+# plugin: fuzzy completion
 [ -f "/usr/share/zsh/plugins/fzf-tab-git/fzf-tab.plugin.zsh" ] && source /usr/share/zsh/plugins/fzf-tab-git/fzf-tab.plugin.zsh
 
-# Plugin: autosuggestions
+# plugin: autosuggestions
 [ -f "/usr/share/zsh/plugins/zsh-autosuggestions/zsh-autosuggestions.zsh" ] && source /usr/share/zsh/plugins/zsh-autosuggestions/zsh-autosuggestions.zsh && bindkey '^ ' autosuggest-accept
 
-# Plugin: syntax highlighting
+# plugin: syntax highlighting
 [ -f "/usr/share/zsh/plugins/fast-syntax-highlighting/fast-syntax-highlighting.plugin.zsh" ] && source /usr/share/zsh/plugins/fast-syntax-highlighting/fast-syntax-highlighting.plugin.zsh
 
-# Plugin: Autopair
+# plugin: Autopair
 
 [ -f "/usr/share/zsh/plugins/zsh-autopair/zsh-autopair.plugin.zsh" ] && source /usr/share/zsh/plugins/zsh-autopair/zsh-autopair.plugin.zsh
 
-# Open shell with tmux always
+# open shell with tmux always
 if [[ -n "$PS1" ]] && [[ -z "$TMUX" ]] && [[ -n "$SSH_CONNECTION" ]]; then
     tmux attack-session -t $USER || tmux new-session -s $USER
 fi
 
-# set up thefuck
+# thefuck
 eval $(thefuck --alias)
 
 # python
 eval "$(pyenv init -)"
 
+# opam
+[[ ! -r "$HOME/.opam/opam-init/init.zsh" ]] || source "$HOME/.opam/opam-init/init.zsh" > /dev/null 2> /dev/null
+
 ##########################
 # COMMANDS BEFORE PROMPT #
 ##########################
 
-# Display pfetch when starting zsh
 pfetch

.gitconfig

@@ -24,3 +24,7 @@
         conflictStyle = zdiff3
 [credential]
 	helper = store
+[alias]
+        graph = log --graph
+        amend = commit --amend --no-edit
+        fpush = push --force-with-lease --force-if-includes

.profile

@@ -48,6 +48,8 @@ export CUDA_DIR="/opt/cuda"
 export CUDA_PATH="/opt/cuda"
 export XLA_FLAGS=--xla_gpu_cuda_data_dir=/opt/cuda
 
+export YDOTOOL_SOCKET="$HOME/.ydotool_socket"
+
 # external programs
 export OPENAUDIBLE_HOME="${HOME}/documents/openaudible"
 
@@ -72,9 +74,15 @@ export VIPER_BOOGIE="$HOME/.dotnet/tools/boogie"
 
 # python
 export PYENV_ROOT="$HOME/.pyenv"
-export PATH="$PYENV_ROOT/bin:$PATH"
 
-eval "$(pyenv init --path)"
+if [ -d "$PYENV_ROOT" ] && [ -x "PYENV_ROOT/bin/pyenv" ]; then
+    export PATH="$PYENV_ROOT/bin:$PATH"
+    if command -v timeout >/DEV/NULL 2>&1; then
+        timeout 2s  -c sh -c 'eval "$($PYENV_ROOT/bin/pyenv init --path)"' 2>/dev/null
+    else
+        eval "$($PYENV_ROOT/bin/pyenv init --path 2>/dev/null)" || true
+    fi
+fi
 
 # less/man colors
 export LESS=-R