IntelliJ IDEA 13.1 我有一个linux环境,我不得不改变$ HOME。我已经出口了它,但IDEA仍指向旧路。我已经定义了&导出IDEAS_PROPERTIES以指向已修改的idea.properties文件。 idea.config | system | plugins | log.path工作但我认为$ {user.home}仍指向旧路径。一个症状是从IDE运行git将无法读取新主路径中的.gitconfig。
有谁知道如何让IDEA使用$ HOME?
答案 0 :(得分:0)
这是我向前推进的解决方法。由于idea使用/ usr / bin / git,我创建了一个包装器,它根据用户的ip - $ SSH_CLIENT查找用户的首字母。在实现这个变通方法时,我发现这个想法通过“--author ...”将作者/电子邮件传递给git。第5行剥离并使用/home/$USER_INITIALS/.gitconfig中设置的内容。如果有人有更好的答案,我会全力以赴。
#!/bin/bash
# /usr/bin/git
USER_INITIALS="$(uilookup $SSH_CLIENT)"
GIT_PARAMETERS="$*"
GIT_PARAMETERS="${GIT_PARAMETERS/--author=*--/--}"
( export HOME="/home/$USER_INITIALS" && /usr/libexec/git-core/git $GIT_PARAMETERS )
acornblue