pyenv lacking in .zshrc plugins

During the setup day for batch #1365, many students had the issue of pyenv command not working after cloning dotfiles. After checking the .zshrc file, the pyenv plugin is missing from the plugins (line 7). After adding it to the plugins and restarting the terminal, the pyenv command was working properly.

Hmm we have that lien:

dotfiles/zshrc

Line 26 in adf05d5

    
           type -a pyenv > /dev/null && eval "$(pyenv init -)" && eval "$(pyenv virtualenv-init - 2> /dev/null)" && RPROMPT+='[🐍 $(pyenv version-name)]'

To me what happened is that restarting the terminaL fixed it, the pyenv plugin has never been needed.

I'm not sure what happened, for some restarting the terminal was enough, for others the problem was solved only after adding the plugin to the plugins.

OK, thanks for reporting, we'll monitor this one in the next Setup day and see if we make a reproductible case 🙏