Ottieni la dimensione di un file remoto dal terminale?

Voglio scaricare un file da un server, ma prima di farlo vorrei conoscere la dimensione effettiva del file. So che wget visualizzerà la dimensione del file all'avvio del download, ma questo in realtà avvia anche il processo di download.

Come posso conoscere la dimensione del file di un file remoto su un server http?

Risposta accettata:

Puoi provare a digitare:

wget --spider

Dà ad esempio 134K :

$ wget --spider "https://askubuntu.com/questions/389910/get-the-size-of-a-remote-file-from-terminal/389920#389920"
Spider mode enabled. Check if remote file exists.
--2019-09-27 20:34:46--  https://askubuntu.com/questions/389910/get-the-size-of-a-remote-file-from-terminal/389920
Resolving askubuntu.com (askubuntu.com)... 151.101.193.69, 151.101.129.69, 151.101.65.69, ...
Connecting to askubuntu.com (askubuntu.com)|151.101.193.69|:443... connected.
HTTP request sent, awaiting response... 200 OK
Length: 136873 (134K) [text/html]
Remote file exists and could contain further links,
but recursion is disabled -- not retrieving.