我想知道 curl/wget 下载的文件的文件名。
http://stackoverflow.com/questions/6881034/curl-to-grab-remote-filename-after-following-location 这里介绍的方法是从 header 中获取,但有些下载服务器 header 里面并不包括文件名信息。
比如说我
wget https://update.pushbullet.com/pushbullet_installer.exe
在 shell 脚本中我想获得 “ pushbullet_installer.exe ”, 已备后用。