git.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
* Feature: Use $HOME instead of /home/username in ~/.gitconfig
@ 2023-06-23  8:22 Jovial Joe Jayarson
  2023-06-23 17:21 ` Junio C Hamano
  0 siblings, 1 reply; 2+ messages in thread
From: Jovial Joe Jayarson @ 2023-06-23  8:22 UTC (permalink / raw)
  To: git; +Cc: majordomo

Hi,

Currently the `[maintenance]` section of `~/.gitconfig` has something
like:

```ini
[maintenance]
    repo = /home/username/.znap/repos/asdf
```

I'm sharing my `.dotfiles` across systems, so I'd prefer
`/home/username` be replaced with `$HOME` or even with `~/`.

```ini
[maintenance]
    repo = $HOME/.znap/repos/asdf
```

I'd be happy to make a patch, if somebody let me know where, in this
huge repository: https://github.com/git/git

Thanks,
Joe

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2023-06-23 17:23 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2023-06-23  8:22 Feature: Use $HOME instead of /home/username in ~/.gitconfig Jovial Joe Jayarson
2023-06-23 17:21 ` Junio C Hamano

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).