mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Correctly source paths with spaces (PY-28113)
This commit is contained in:
@@ -8,7 +8,7 @@ ZDOTDIR=$_OLD_ZDOTDIR
|
||||
|
||||
if [ -n "$JEDITERM_USER_RCFILE" ]
|
||||
then
|
||||
source $JEDITERM_USER_RCFILE
|
||||
source "$JEDITERM_USER_RCFILE"
|
||||
unset JEDITERM_USER_RCFILE
|
||||
fi
|
||||
|
||||
@@ -41,6 +41,6 @@ fi
|
||||
|
||||
if [ -n "$JEDITERM_SOURCE" ]
|
||||
then
|
||||
source $(echo $JEDITERM_SOURCE)
|
||||
source "$(echo $JEDITERM_SOURCE)"
|
||||
unset JEDITERM_SOURCE
|
||||
fi
|
||||
@@ -9,11 +9,11 @@ if test -f ~/.config/fish/config.fish
|
||||
end
|
||||
|
||||
if test -n "$JEDITERM_USER_RCFILE"
|
||||
. $JEDITERM_USER_RCFILE
|
||||
. "$JEDITERM_USER_RCFILE"
|
||||
set -e JEDITERM_USER_RCFILE
|
||||
end
|
||||
|
||||
if test -n "$JEDITERM_SOURCE"
|
||||
. $JEDITERM_SOURCE
|
||||
. "$JEDITERM_SOURCE"
|
||||
set -e JEDITERM_SOURCE
|
||||
end
|
||||
@@ -56,12 +56,12 @@ trap "generate_command_executed_sequence" DEBUG
|
||||
|
||||
if [ -n "$JEDITERM_USER_RCFILE" ]
|
||||
then
|
||||
source $JEDITERM_USER_RCFILE
|
||||
source "$JEDITERM_USER_RCFILE"
|
||||
unset JEDITERM_USER_RCFILE
|
||||
fi
|
||||
|
||||
if [ -n "$JEDITERM_SOURCE" ]
|
||||
then
|
||||
source $JEDITERM_SOURCE
|
||||
source "$JEDITERM_SOURCE"
|
||||
unset JEDITERM_SOURCE
|
||||
fi
|
||||
|
||||
Reference in New Issue
Block a user