Other Tips
Last updated
Last updated
Bash is the most common shell, but there are a lot more other options. My favorite shell is zsh, when equip with "Oh my zsh".
Give it a try, and you will love it.
Both bash and zsh comes with a config file in your home directory. The one for bash is ~/.bashrc
and the one for zsh is ~/.zshrc
.
This config file is basically a shell script, execute by the shell when it starts. Usually, I create many alias for common commands such as ssh to a server or start a jupyter notebook, zsh also come with many convenient alias and other fancy plugins and themes for your shell (I use ys
theme).
From this stack overflow and export section of conda documentation: