首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >重新开发gitk GUI

重新开发gitk GUI
EN

Stack Overflow用户
提问于 2020-09-09 12:45:27
回答 1查看 144关注 0票数 0

今天,我像往常一样处理我的任务,但从某一刻到下一刻,我的gitk GUI都混在了一起:

是否有方法为gitk重置GUI元素的GUI/配置位置?

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2020-09-09 13:32:20

来自man gitk

代码语言:javascript
复制
   User configuration and preferences are stored at:
   •   $XDG_CONFIG_HOME/git/gitk if it exists, otherwise
   •   $HOME/.gitk if it exists
   If neither of the above exist then $XDG_CONFIG_HOME/git/gitk is created and used by default. If $XDG_CONFIG_HOME is not set it
   defaults to $HOME/.config in all cases.

删除配置(通常在.config/git/gitk中)应该重置设置。

票数 1
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/63811998

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档