Esiste una funzione incorporata in Python che sostituisca (o rimuova, qualunque sia) l'estensione di un nome di file (se ne ha uno)? Esempio: print replace_extension('/home/user/somefile.txt', '.jpg') Nel mio esempio: /home/user/somefile.txtdiventerebbe/home/user/somefile.jpg Non so se sia importante, ma ne ho bisogno per un modulo SCons che sto scrivendo. (Quindi forse c'è qualche …
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.