"Filesystem Case-Sensitivity Mismatch"

Android Studioを入れると、"Filesystem Case-Sensitivity Mismatch"というエラーが出た。

デフォルトと違って、HFS+で大文字小文字を区別する設定にしているからだろう。

回避方法はわかったのだけど

エラーのリンクをたどると、解決方法は書かれている。
idea.propertiesにidea.case.sensitive.fs=trueを設定してやるといいらしい。

Configuring Android Studio: IDE & VM Options, JDK, etc - Android Tools Project Site
http://tools.android.com/tech-docs/configuration

##が、それはどこから開くのか？

GUIな設定には、そらしい項目はなさそう。
~/Library/Preferences/AndroidStudio1.3/ の下には idea.properties がない。
~/Library/Preferences/AndroidStudio/ にもない。

ファイル作って置けばいいかなと思ったのだけど、テンプレが用紙されていた。
ここから落として来て置けばいいのかな？
tools.android.com/tech-docs/configuration/mac-idea.properties?attredirects=0&d=1

置いてみる。

$ mv ~/Downloads/mac-idea.properties ~/Library/Preferences/AndroidStudio1.3/idea.properties
$ vi ~/Library/Preferences/AndroidStudio1.3/idea.properties

idea.popup.weight=heavy
idea.dynamic.classpath=false
swing.bufferPerWindow=false
CVS_PASSFILE=~/.cvspass
idea.smooth.progress=false
idea.max.intellisense.filesize=2500
idea.xdebug.key=-Xdebug
apple.awt.fullscreencapturealldisplays=false
idea.cycle.buffer.size=1024
com.apple.mrj.application.live-resize=false
java.endorsed.dirs=
sun.java2d.noddraw=true
sun.java2d.pmoffscreen=false
idea.use.default.antialiasing.in.editor=false
idea.fatal.error.notification=disabled
apple.awt.graphics.UseQuartz=true
idea.no.launcher=false
sun.java2d.d3d=false
apple.laf.useScreenMenuBar=true
idea.case.sensitive.fs=true```

Android Studioを起動しても、エラーがでなくなった。
めでたしめでたし。