diff options
| author |  Johannes Schindelin <johannes.schindelin@gmx.de> | 2021-07-24 22:06:52 +0000 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2021-07-26 12:17:16 -0700 |
| commit | a03b097d6307763c6778f5a1f194fbcbd158a5f7 (patch) | |
| tree | 64e20e92d5b74c31ed5cd324b95545cf220ba12e /ci/util/extract-trash-dirs.sh | |
| parent | expand_user_path(): clarify the role of the `real_home` parameter (diff) | |
| download | tgif-a03b097d6307763c6778f5a1f194fbcbd158a5f7.tar.xz | |
Use a better name for the function interpolating paths
It is not immediately clear what `expand_user_path()` means, so let's
rename it to `interpolate_path()`. This also opens the path for
interpolating more than just a home directory.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'ci/util/extract-trash-dirs.sh')
0 files changed, 0 insertions, 0 deletions