.gnulib/top/gitsub.sh

148 func_fatal_error ()  function
271 … func_fatal_error "Subdirectory '$path' is supposed to be a plain checkout, but it is a submodule."
281           func_fatal_error "Property subcheckout.$1.url is not defined in .gitmodules"
308             func_fatal_error "Subdir '$path' exists but is not a git checkout."
322           func_fatal_error "Property submodule.$1.url is not defined in .gitmodules"
328 …    func_fatal_error "Subdir '$1' is not configured as a subcheckout or a submodule in .gitmodules"
340   func_fatal_error "git clone failed"
353           (cd "$path" && git pull) || func_fatal_error "git operation failed"
367 …git submodule init -- "$path" && git submodule update $2 -- "$path" || func_fatal_error "git opera…
371         git submodule update "$path" || func_fatal_error "git operation failed"
388           (cd "$path" && git pull) || func_fatal_error "git operation failed"
395 …    (cd "$path" && git fetch && git merge origin/master) || func_fatal_error "git operation failed"
401       func_fatal_error "Subdirectory '$path' does not exist yet. Use 'gitsub.sh pull' to create it."
416           (cd "$path" && git checkout "$2") || func_fatal_error "git operation failed"
423           (cd "$path" && git checkout "$2") || func_fatal_error "git operation failed"
429       func_fatal_error "Subdirectory '$path' does not exist yet. Use 'gitsub.sh pull' to create it."
471 …    func_fatal_error "Subdir '$1' is not configured as a subcheckout or a submodule in .gitmodules"
491 …    func_fatal_error "Subdir '$1' is not configured as a subcheckout or a submodule in .gitmodules"
506 …    func_fatal_error "Subdir '$1' is not configured as a subcheckout or a submodule in .gitmodules"