deps: update

This commit is contained in:
Anmol Sethi 2022-12-06 03:22:55 -08:00
parent efba33e657
commit 8b66106667
No known key found for this signature in database
GPG key ID: 8CEF1878FF10ADEB
3 changed files with 7 additions and 5 deletions

View file

@ -417,8 +417,9 @@ manpath() {
}
is_writable_dir() {
# If it can be created, we can use it.
hide mkdir -p "$1"
mkdir -p "$1" 2>/dev/null
# directory must exist otherwise -w returns 1 even for paths that should be writable.
[ -w "$1" ]
}
ensure_prefix() {

2
ci/sub

@ -1 +1 @@
Subproject commit c8ad46ee4ee10872b7d509ad6381922ee69bd5c0
Subproject commit 4beb5c09e5e3380641ee7e3b0c1d4f6358cca544

View file

@ -553,8 +553,9 @@ manpath() {
}
is_writable_dir() {
# If it can be created, we can use it.
hide mkdir -p "$1"
mkdir -p "$1" 2>/dev/null
# directory must exist otherwise -w returns 1 even for paths that should be writable.
[ -w "$1" ]
}
ensure_prefix() {