Use path:is-dir in the example for $pwd.

This commit is contained in:
Qi Xiao 2022-12-30 18:36:31 +00:00
parent 7c52dd9545
commit 629be7e297

View File

@ -43,9 +43,10 @@ var pid
#
# ```elvish
# ## Updates all git repositories
# use path
# for x [*/] {
# tmp pwd = $x
# if ?(test -d .git) {
# if (path:is-dir .git) {
# git pull
# }
# }