diff options
author | Elliott Hughes | 2017-12-07 15:51:23 -0600 |
---|---|---|
committer | Elliott Hughes | 2017-12-07 15:51:23 -0600 |
commit | 7a6ef87cbe90d7548dcce6e6feda8782b526f73b (patch) | |
tree | a048d5daeb00c6244eb9d2f37bf7f95ea6c5e4ad /envsetup.sh | |
parent | 44e363f1e330e5a2f2f760897f2f57c0b975fc30 (diff) | |
download | platform-build-7a6ef87cbe90d7548dcce6e6feda8782b526f73b.tar.gz platform-build-7a6ef87cbe90d7548dcce6e6feda8782b526f73b.tar.xz platform-build-7a6ef87cbe90d7548dcce6e6feda8782b526f73b.zip |
Get off my lawn forever!
Let folks opt in if they want the custom title.
Bug: https://issuetracker.google.com/38402256
Test: hitting enter no longer flashes this title
Change-Id: I8c1e1b22cc47ab9496797328fb1b13c0827840b0
Diffstat (limited to 'envsetup.sh')
-rw-r--r-- | envsetup.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/envsetup.sh b/envsetup.sh index 9a616effa..394df6564 100644 --- a/envsetup.sh +++ b/envsetup.sh | |||
@@ -318,7 +318,12 @@ function set_sequence_number() | |||
318 | 318 | ||
319 | function settitle() | 319 | function settitle() |
320 | { | 320 | { |
321 | if [ "$STAY_OFF_MY_LAWN" = "" ]; then | 321 | # This used to be opt-out with STAY_OFF_MY_LAWN, but this breaks folks |
322 | # actually using PROMPT_COMMAND (https://issuetracker.google.com/38402256), | ||
323 | # and the attempt to set the title doesn't do anything for the default | ||
324 | # window manager in debian right now, so switch it to opt-in for anyone | ||
325 | # who actually wants this. | ||
326 | if [ "$ANDROID_BUILD_SET_WINDOW_TITLE" = "true" ]; then | ||
322 | local arch=$(gettargetarch) | 327 | local arch=$(gettargetarch) |
323 | local product=$TARGET_PRODUCT | 328 | local product=$TARGET_PRODUCT |
324 | local variant=$TARGET_BUILD_VARIANT | 329 | local variant=$TARGET_BUILD_VARIANT |