diff options
| author | Omar Magdy <omar.professional8777@gmail.com> | 2022-05-15 21:56:58 +0200 |
|---|---|---|
| committer | Omar Magdy <omar.professional8777@gmail.com> | 2022-05-15 21:56:58 +0200 |
| commit | 06372049fb8dc27b33ce5f68826971c22db17bf7 (patch) | |
| tree | a389857e9ff3346a95e1c83e8ae05381ad6fa2dc /zsh | |
| parent | 3e02f1120bdcd68998391cc2e4827de971b96811 (diff) | |
| download | dotfiles-06372049fb8dc27b33ce5f68826971c22db17bf7.tar.xz dotfiles-06372049fb8dc27b33ce5f68826971c22db17bf7.zip | |
Did some minor updates to kitty.conf and .zshrc
Diffstat (limited to 'zsh')
| -rw-r--r-- | zsh/.zshrc | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -13,7 +13,8 @@ export ZSH=/usr/share/oh-my-zsh/ # to know which specific one was loaded, run: echo $RANDOM_THEME # See https://github.com/ohmyzsh/ohmyzsh/wiki/Themes # if you installed the package oh-my-zsh-powerline-theme-git then you type here "powerline" as zsh theme -ZSH_THEME="gnzh" # set by `omz` +# ZSH_THEME="gnzh" # set by `omz` +ZSH_THEME="robbyrussell" #ZSH_THEME="bira" # set by `omz` # ZSH_THEME="gozilla" # set by `omz` # ZSH_THEME="random" # set by `omz` |