5505 links
  • GuiGui's Show

  • Home
  • Login
  • RSS Feed
  • Tag cloud
  • Picture wall
  • Daily
Links per page: 20 50 100
page 1 / 1
  • Les options de curl pour définir automatiquement le nom d'un fichier téléchargé

    curl permet d'enregistrer un fichier sous le nom qu'il a sur le serveur. C'est l'option -O pour utiliser le nom tel qu'il est dans l'URL ou -J pour utiliser celui indiqué dans l'entête HTTP « Content-Disposition » (très pratique en cas de redirection web à partir d'une URL imbitable).

    Elle peut également nommer un fichier en fonction d'une regex capturante : curl 'https://site.example/{fichier}' -o '2023-01-02_#1'. Pratique quand une URL sous forme de regex désigne plusieurs fichiers. Exemple du manuel : curl "http://{site,host}.host[1-5].com" -o "#1_#2".

    Elle peut également recréer une arborescence qui existe côté serveur. C'est l'option --create-dirs. Exemple : t'as plusieurs URL de la forme https://site.example/{<année>/<mois>/<jour>/fichier}. Les dossiers seront créés s'ils n'existent pas. Pas d'erreur sinon.

    Tue May 2 09:38:09 2023 - permalink -
    - http://shaarli.guiguishow.info/?fxqqEQ
Links per page: 20 50 100
page 1 / 1
Mentions légales identiques à celles de mon blog | CC BY-SA 3.0

Shaarli - The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community