Gibt es in Python eine integrierte Funktion, die die Erweiterung eines Dateinamens (falls vorhanden) ersetzt (oder entfernt)? Beispiel: print replace_extension('/home/user/somefile.txt', '.jpg') In meinem Beispiel: /home/user/somefile.txtwürde werden/home/user/somefile.jpg Ich weiß nicht, ob es wichtig ist, aber ich brauche dies für ein SCons-Modul, das ich schreibe. (Vielleicht gibt es einige SCons-spezifische Funktionen, die …
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.