# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1556497283 -10800
# Node ID c171d2b1f725661633adc0b9cc0b33d03b18fd66
# Parent  fa297b1cbc0b47383316b703d2d179a7cff79d36
Made idempotent application of Gradle settings.

diff -r fa297b1cbc0b -r c171d2b1f725 .env
--- a/.env	Sat Mar 23 15:50:48 2019 +0200
+++ b/.env	Mon Apr 29 03:21:23 2019 +0300
@@ -74,10 +74,17 @@
 
 export PYTHONSTARTUP=$HOME/.pystartup
 
-GRADLE_OPTS='-Dorg.gradle.daemon=true'
+xopt='-Dorg.gradle.daemon=true'
+if [[ $GRADLE_OPTS != *${xopt}* ]]; then
+    GRADLE_OPTS="$GRADLE_OPTS ${xopt}"
+fi
 if [[ $OSTYPE = cygwin ]]; then
-    GRADLE_OPTS="$GRADLE_OPTS -Dorg.gradle.console=verbose"
+    xopt='-Dorg.gradle.console=verbose'
+    if [[ $GRADLE_OPTS != *${xopt}* ]]; then
+        GRADLE_OPTS="$GRADLE_OPTS ${xopt}"
+    fi
 fi
+# GRADLE_OPTS="$GRADLE_OPTS -Djava.io.tmpdir=c:/tmp"
 export GRADLE_OPTS
 
 if [[ ! :$PATH: =~ :$HOME/.npm-packages/bin: ]]; then
@@ -86,3 +93,4 @@
 
 export RLWRAP_HOME=$HOME/.rlwrap
 
+unset xopt