Klucz languageLevel został zmieniony z JDK_1_8 na JDK_1_7 z powodów, których nie znam.
Co może się dziać?
Czy ma to coś wspólnego z IDE innych programistów pracujących nad projektem? Może mają inne ustawienie Android Studio?
Oto, co pojawia się po tym, jak zauważyłem, że pliki pod kontrolą źródła uległy zmianie:
$ git diff
diff --git a/.idea/misc.xml b/.idea/misc.xml
index fbb6828..5d19981 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -37,7 +37,7 @@
<ConfirmationsSetting value="0" id="Add" />
<ConfirmationsSetting value="0" id="Remove" />
</component>
- <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" default="true" assert-keyword="true" jdk-15="true" project-jdk-name="1.8" project-jdk-type="JavaSDK">
+ <component name="ProjectRootManager" version="2" languageLevel="JDK_1_7" default="true" assert-keyword="true" jdk-15="true" project-jdk-name="1.8" project-jdk-type="JavaSDK">
<output url="file://$PROJECT_DIR$/build/classes" />
</component>
<component name="ProjectType">
To mój gitignore na wszelki wypadek.
.gradle
/local.properties
/.idea/workspace.xml
/.idea/libraries
.DS_Store
/build
/captures
Jak postępować tak, aby pozostało tak czy inaczej?
.gitignore
, i to obejście jest temu przeciwne. Tracisz możliwość udostępniania właściwości projektu wszystkim programistom, takich jak ustawienia inspekcji / kłaczków, których używamy, aby zapobiec niektórym standardowym złym praktykom przed przejściem do przeglądu kodu. Możesz po prostu dodać /.idea/misc.xml
do .gitignore
pliku, aby rozwiązać ten problem.