La clave languageLevel se cambia de JDK_1_8 a JDK_1_7 por razones que no conozco.
¿Qué podría estar pasando?
¿Tiene esto algo que ver con el IDE de otros desarrolladores que trabajan en el proyecto? ¿Quizás tienen otra configuración de Android Studio?
Esto es lo que aparece después de notar que los archivos bajo control de origen han cambiado:
$ 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">
Este es mi gitignore en caso de que importe.
.gradle
/local.properties
/.idea/workspace.xml
/.idea/libraries
.DS_Store
/build
/captures
¿Cómo procedo para que se quede de una forma u otra?
.gitignore, y esta solución alternativa va en contra de esto. Pierde la capacidad de compartir las propiedades del proyecto con todos los desarrolladores, como las configuraciones de inspecciones / pelusas que utilizamos para evitar algunas malas prácticas estándar antes incluso de revisar el código. Simplemente puede agregar /.idea/misc.xmlal .gitignorearchivo para resolver esto.
