Restore the original value of ZDOTDIR (IDEA-163404)
[idea/community.git] / plugins / terminal / resources / .zshrc
1 #!/bin/bash
2
3 # mappings for Ctrl-left-arrow and Ctrl-right-arrow for word moving
4 bindkey '^[^[[C' forward-word
5 bindkey '^[^[[D' backward-word
6
7 ZDOTDIR=$_OLD_ZDOTDIR
8
9 if [ -n "$JEDITERM_USER_RCFILE" ]
10 then
11   source $JEDITERM_USER_RCFILE
12   unset JEDITERM_USER_RCFILE
13 fi
14
15 if [ -f "$HOME/.zshrc" ]; then
16      source "$HOME/.zshrc"
17 fi
18
19 if [ -n "$JEDITERM_SOURCE" ]
20 then
21   source $JEDITERM_SOURCE
22   unset JEDITERM_SOURCE
23 fi