質問: ドキュメントの拡張子/ファイル拡張子/ファイル形式を変更するにはどうすればよいですか? windowsには、既知のファイルタイプの拡張子を表示するオプションがあります。このオプションを有効にすると、それぞれの拡張子を持つすべてのファイルが表示されます。たとえば、mp3音楽ファイルは次のとおりです。name.mp3名前をname.txtに変更すると、ファイルを表示するデフォルトのプログラムはテキストエディターになります。ubuntuでファイルの拡張子の名前を変更するにはどうすればよいですか?ファイルを作成したい:autorun.infwindowsでは、新しいテキストドキュメント.txt(拡張機能の表示を有効にする)を作成し、.infに名前を変更しますが、ubuntuでは機能しません。それでは、ubuntuでそれをどのように行うことができますか?
回答: 「ファイル拡張子」の概念については忘れてください。これは完全に構成されており、役に立たないものです。たとえば、システム上の音楽ファイルの名前をgarbage.gbrに変更すると、windowsは拡張子を文字通りファイルタイプとして解釈するため、そのファイルが音楽ファイルであることすら知りません。一方、ubuntuでは、ファイルに好きな名前を付けることができます。気に入らない場合は、拡張機能を選択する必要さえありません。 ubuntuは、ファイルの mimeタイプ を読み取り、そのタイプを理解します。ファイルの種類に基づいて、適切なプログラムに関連付けて開きます。必要なすべてのコントロールがまだあります。 mimeタイプに関連付けられているデフォルトのプログラムは、いくつかの方法で変更できます。ファイルタイプのデフォルトのプログラムの関連付けを変更するには、そのタイプのファイルを右クリックして、propertiesを選択し、タブで開きます。言われたところで、拡張機能がubuntuで完全に役に立たないわけではないことを言及しなければなりません。それらは、ファイルのタイプを簡単に識別できるようにファイルにタグを付ける標準的な方法を提供しますが、ファイルのタイプを設定しません。唯一の例外は、いくつかの異なる形式での保存をサポートする一部のアプリケーションでファイルを保存する場合です。これらのアプリケーションでファイル名を提供すると、提供された拡張子を読み取ることができ、それに基づいて、正しいmimeタイプで新しいファイルを作成および保存する方法が決定されます。たとえば、gimpでjpegファイルを開き、save ...を選択してimage.pngと入力した場合、gimpはpngファイルダイアログを開き、png mimeタイプでファイルを保存できます。