mirror of
https://github.com/git/git.git
synced 2026-03-01 18:24:00 +01:00
ci: ubuntu: use GNU coreutils for dirname
The uutils version of `dirname` has output that is inconsistent with GNU coreutils. Prefer the GNU implementation of this command. Signed-off-by: Colin Stagner <ask+git@howdoi.land> Signed-off-by: Junio C Hamano <gitster@pobox.com>
This commit is contained in:
committed by
Junio C Hamano
parent
3c6162ea5c
commit
c591c3ceff
@@ -76,6 +76,17 @@ ubuntu-*|i386/ubuntu-*|debian-*)
|
||||
sudo update-alternatives --set sudo /usr/bin/sudo.ws
|
||||
fi
|
||||
|
||||
# on uutils v0.2.2 from rust-coreutils,
|
||||
# dirname "foo/."
|
||||
# outputs "." instead of "foo" like it should.
|
||||
# Use GNU coreutils to provide dirname instead.
|
||||
#
|
||||
# See <https://github.com/uutils/coreutils/issues/10508>.
|
||||
if test -x /usr/bin/gnudirname
|
||||
then
|
||||
ln -sfT /usr/bin/gnudirname /usr/bin/dirname
|
||||
fi
|
||||
|
||||
case "$distro" in
|
||||
ubuntu-*)
|
||||
mkdir --parents "$CUSTOM_PATH"
|
||||
|
||||
Reference in New Issue
Block a user