thomasbb
Bonjour,
Le code python récupère le log.gz :
#+BEGIN_SRC python :results output :var data_url=data-url
data_file = "temps_d_envoi.log"
data_file_gz = "temps_d_envoi.log.gz"
import os
import urllib.request
if not os.path.exists(data_file_gz):
urllib.request.urlretrieve(data_url, data_file_gz)
#+END_SRC
#+RESULTS:
#+begin_src shell
gunzip -k data_file_gz
#+end_src
#+RESULTS:
mais le minibuffer répond :
data_file_gz.gz: No such file or directory