[debian-users:57884] Re: How bash script can know wget result ?

[tanimura <tanimura@xxxxxxxxxxxxxxx>]

武藤＠Debian さん、簡潔で適格な御教示、有難うございます。

色々な場合を (URL, file 等) 想定して、HEAD -d を試みてみました。今のところ全正解です。

# それにしても、Capital letter の head の存在すら知りませんでした。
# parmeter の -d は、"don't download ..." ではなく "don't display content" なんですねぇ、
# 知らないことが多すぎます。
-- Tanimura＠Osaka

On 15/11/30 20:29, Kenshi Muto wrote:
> 武藤＠Debianぷろじぇくとです。
>
> At Mon, 30 Nov 2015 09:33:10 +0900,
> tanimura wrote:
>> bash script 内で
>> wget -q --spider <URL/file>
>> の<URL/file> 部分が正しいか否かの判定をしたいのですが、
> wgetにこだわらないなら、libwww-perlパッケージのHEADコマンドを
> 使うのが簡単に見えます。
>
> $ HEAD -d ftp://ftp.gnu.org/gnu/binutils/binutils-x.xx.x..tar.bz2
> 404 File 'binutils-x.xx.x..tar.bz2' not found
> $ echo $?
> 1
> $ HEAD -d ftp://ftp.gnu.org/gnu/binutils/binutils-2.25.1.tar.bz2
> 200 OK
> $ echo $?
> 0