Existe-t-il une fonction intégrée en Python qui remplacerait (ou supprimerait, peu importe) l'extension d'un nom de fichier (s'il en a une)? Exemple: print replace_extension('/home/user/somefile.txt', '.jpg') Dans mon exemple: /home/user/somefile.txtdeviendrait/home/user/somefile.jpg Je ne sais pas si cela compte, mais j'en ai besoin pour un module SCons que j'écris. (Alors peut-être y a-t-il …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.