GNU/Linux >> Linux Esercitazione >  >> Linux

wget:nome del file scaricato

wget --server-response -q -O - "https://very.long/url/here" 2>&1 | 
  grep "Content-Disposition:" | tail -1 | 
  awk 'match($0, /filename=(.+)/, f){ print f[1] }' )

Questa è la versione corretta in quanto potrebbero esserci diversi reindirizzamenti 301/302 e infine un Content-Disposition: header per impostare il nome del file

Indovinare il nome del file in base all'URL non è sempre corretto.


Usa il basename comando per estrarre il nome del file dall'URL. Ad esempio:

url=http://pics.sitename.com/images/191211/mxKL17DdgUhcr.jpg
filename=$(basename "$url")
wget "$url"

Linux
  1. Creazione di un file CSR del certificato Web.

  2. Come sapere se un file viene scaricato da Wget?

  3. Come modificare un nome di file contenente caratteri?

  4. wget vs curl:come scaricare file usando wget e curl

  5. È possibile collegare simbolicamente un file a un URL web?

Riprendi il file parzialmente scaricato utilizzando Wget in Linux

Come aggiungere il file .box scaricato a Vagrant in Linux

Come scaricare file utilizzando Wget tramite proxy in Linux

Come scaricare un file dall'URL in Linux

cp -L contro cp -H

File Linux mv con nome lungo