Сегодня я работал над своими задачами, как обычно, но от одного момента к другому мой графический интерфейс gitk был перепутан:
Есть ли способ сбросить графический интерфейс/настроить позиции элементов графического интерфейса для gitk?
Сегодня я работал над своими задачами, как обычно, но от одного момента к другому мой графический интерфейс gitk был перепутан:
Есть ли способ сбросить графический интерфейс/настроить позиции элементов графического интерфейса для gitk?
От 1_:
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
, должно привести к сбросу настроек.
rm ~/.config/git/gitk
? - person KamilCuk   schedule 09.09.2020