mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Simplify reading environment variables to override (IDEA-CR-42741)
This commit is contained in:
@@ -47,15 +47,13 @@ then
|
||||
fi
|
||||
|
||||
function override_jb_variables {
|
||||
env | while read VARIABLE
|
||||
env | while IFS="=" read NAME VALUE
|
||||
do
|
||||
NAME=${VARIABLE%%=*}
|
||||
if [[ $NAME = '_INTELLIJ_FORCE_SET_'* ]]
|
||||
then
|
||||
NEW_NAME=${NAME:20}
|
||||
if [ -n "$NEW_NAME" ]
|
||||
then
|
||||
VALUE=${VARIABLE#*=}
|
||||
export "$NEW_NAME"="$VALUE"
|
||||
fi
|
||||
fi
|
||||
|
||||
@@ -32,15 +32,13 @@ function load_interactive_configs {
|
||||
}
|
||||
|
||||
function override_jb_variables {
|
||||
env | while read VARIABLE
|
||||
env | while IFS="=" read NAME VALUE
|
||||
do
|
||||
NAME=${VARIABLE%%=*}
|
||||
if [[ $NAME = '_INTELLIJ_FORCE_SET_'* ]]
|
||||
then
|
||||
NEW_NAME=${NAME:20}
|
||||
if [ -n "$NEW_NAME" ]
|
||||
then
|
||||
VALUE=${VARIABLE#*=}
|
||||
export "$NEW_NAME"="$VALUE"
|
||||
fi
|
||||
fi
|
||||
|
||||
Reference in New Issue
Block a user