Closed GEOFBOT closed 3 years ago
Yeah, as I commented on #276, I think the right answer is a configurable list, with main
and master
being the defaults.
PR #276 has now been merged, so you can probably close off this issue.
Also, just discovered #256 which is pretty much the same thing, so that can probably be closed too. I didn't see it in the PR list because it was about the 6th one down; I would have pushed for that one otherwise. Sorry @Xiphoseer.
No need to be sorry, I'm fine with any working implementation of this being included. 😊 I've closed my PR and will updated my local setup to whatever the merged approach requires.
Great work all around, thank you!
The branch name
master
is hidden by default but if users use other branch names such asmain
(which GitHub is switching to by default) then it would be nice to have these branch names treated the same way i.e. the branch name is hidden by default. There could be a customization option to specify a list of branch names to treat as main branch names. This seems to be the relevant part that needs to be modified:https://github.com/oh-my-fish/theme-bobthefish/blob/166fe8a511d109a98efecfc8d75e0a21f6006f55/fish_prompt.fish#L81-L83
Another idea might be to have some way of automatically detecting which branch is the default branch, but this would not work for purely local repositories as far as I can tell.
EDIT: there is a PR #276 that adds
main
as an additional default branch name