Pythonでファイル名から拡張子を置き換える（または取り除く）方法は？
（もしあれば）ファイル名の拡張子を置き換える（または何でも削除する）Pythonの組み込み関数はありますか？ 例： print replace_extension('/home/user/somefile.txt', '.jpg') 私の例では：/home/user/somefile.txtなります/home/user/somefile.jpg それが重要かどうかはわかりませんが、私が書いているSConsモジュールにはこれが必要です。（おそらく、私が使用できるいくつかのSCons固有の関数があるでしょう？） きれいなものをお願いします。文字列.txt内のすべての出現を単純な文字列置換を行うことは、明らかにクリーンではありません。（私のファイル名がの場合、これは失敗しますsomefile.txt.txt.txt）