diff options
author | Emily Shaffer <emilyshaffer@google.com> | 2020-03-02 20:05:06 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-03-15 09:35:46 -0700 |
commit | 5c20398699165a91af2d81ea2d20385bc8dd3627 (patch) | |
tree | 7ee6a11bb7465d2c938a39410c958acfb9639a43 /po | |
parent | prefix_path: show gitdir when arg is outside repo (diff) | |
download | tgif-5c20398699165a91af2d81ea2d20385bc8dd3627.tar.xz |
prefix_path: show gitdir if worktree unavailable
If there is no worktree at present, we can still hint the user about
Git's current directory by showing them the absolute path to the Git
directory. Even though the Git directory doesn't make it as easy to
locate the worktree in question, it can still help a user figure out
what's going on while developing a script.
This fixes a segmentation fault introduced in e0020b2f
("prefix_path: show gitdir when arg is outside repo", 2020-02-14).
Signed-off-by: Emily Shaffer <emilyshaffer@google.com>
[jc: added minimum tests, with help from Szeder Gábor]
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions