eclipse一个很令人烦躁的地方在于,默认的charset是根据系统来的。如果是中文系统会是GBK,如果是英文系统会是一个cp2XXX之类的编码。每次新弄一个workspace,都要手动的去调整一下
大致就是在Window>Preferences>General>Workspace的Tex File Encoding面板上去掉default的选项,然后在下拉列表里选utf-8
一直想从根本上解决一下这个问题,查看了源码后发现这个default charset其实是通过System.getProperty("file.encoding")来获取的
然后有找了好久这个file.encoding是在哪里初始化的。
结果找了半天没找到,
网上一搜
发现这个其实是JVM的一个全局的property
是JVM在启动的时候就自己弄好的
JVM默认是读系统的语言。
如果要修改
要在JVM启动的时候添加参数
-Dfile.encoding=utf-8
就是java -Dfile.encoding=utf-8 -jar !@#$%^&*(
具体用到eclipse里
就是在eclipse.ini文件里添加一行-Dfile.encoding=utf-8即可
-startup plugins/org.eclipse.equinox.launcher_1.0.201.R35x_v20090715.jar --launcher.library plugins/org.eclipse.equinox.launcher.win32.win32.x86_1.0.200.v20090519 -showsplash org.eclipse.platform --launcher.XXMaxPermSize 256m -vmargs -Xms40m -Xmx256m -Dfile.encoding=utf-8