Searched refs:url (Results 1 – 4 of 4) sorted by relevance
89 url=$(get_url "$1")90 tarball=$(basename "$url")100 wget -O "$tarball.t" "$url" \102 || die "failed to download '$url'"
3 url = https://git.savannah.gnu.org/git/gnulib.git
510 && git_modules_config submodule.gnulib.url >/dev/null; then534 if git_modules_config submodule.gnulib.url >/dev/null; then585 && ! git_modules_config submodule.gnulib.url >/dev/null; then
2342 Encode into (or decode from with @option{-d/--decode}) file-and-url-safe