[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Images prises depuis Internet
From: |
Jean Abou Samra |
Subject: |
Re: Images prises depuis Internet |
Date: |
Thu, 30 Jun 2022 10:21:46 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.10.0 |
Bonjour Gilles,
Le 30/06/2022 à 09:38, Ya Gloops a écrit :
Bonjour !
Ca ne fonctionne pas chez moi, mais je ne suis qu'en version 2.23.10, c'est
peut être pour ça...
Quel est le message d'erreur ? Pour moi, ça marche aussi en 2.23.10.
Vu la manière dont mon message est cité dans ta réponse, je me demande si
des retours à la ligne intempestifs ont ajouté comme code des mots qui
faisaient partie des commentaires. Peux-tu essayer comme ceci ?
\version "2.23.10"
from-network =
#(let ((keep-these '()))
(define-scheme-function (url) (string?)
(let* (#| Un fichier temporaire |#
(port (mkstemp! "/tmp/from-network-XXXXXX"))
#| Le nom de ce fichier |#
(filename (port-filename port)))
#| Il est prudent de s'assurer qu'aucun autre processus n'écrit dans
ce fichier entre le moment où il est écrit par wget et le moment
où LilyPond le lit. Pour cela, on place le port dans une
liste qui
n'est jamais effacée. Cela empêche le port d'être effacé, ce
qui le
garde ouvert. |#
(set! keep-these (cons port keep-these))
#| Le téléchargement |#
(system* "wget" url "-O" filename)
filename)))
\markup \epsfile #X #20 \from-network
"https://people.sc.fsu.edu/~jburkardt/data/ps/bell_206.ps"
D'une manière générale, comme on fait avec "\epsfile", peut on importer
d'autres format que *.eps, par exemple *.png ou *.jpg ?
À l'heure actuelle, non. Il faut convertir l'image en EPS, par exemple
avec ImageMagick :
convert fichier.png fichier.eps
(et donc plutôt : non sauf à faire le même genre de chose pour faire la
conversion
au moment de la compilation, ce que je ne recommande pas forcément non
plus).
Par contre, à moyen terme, il n'est pas impossible que cela soit pris en
charge,
grâce au backend Cairo tout nouveau tout beau.
Cordialement,
Jean