wxMaxima
几天前我在笔记本电脑上安装了。
问题在于,与.wxm
一起使用的扩展名为 的文件wxMaxima
被识别为 C 源文件。因此,当我双击这样的文件时,它会打开我的文本编辑器。
我尝试右键单击一个.wxm
文件,然后更改默认程序 - 但这也更改了.c
扩展名的默认程序 - 这是我不希望发生的事情。
底线:如何将.wxm
扩展定义为与.c
扩展不同的类型?
答案1
重要提示:我假设您的桌面环境或文件管理器运行基于文件 MIME 类型的程序。
有趣的是,我的file
命令返回了ASCII C program text
文件.wxm
。当然,这是不正确的,我已经通过以下方式纠正了这个问题:
假设你的主目录是/home/user
/home/user/.magic
使用以下内容创建:0 string /*\ [wxMaxima\ batch\ file wxMaxima batch file !:mime text/x-wxmaxima-batch
通过运行来编译魔法
file -C -m /home/user/.magic
——它将创建/home/user/.magic.mgc
文件检查
file
命令是否按预期工作:user@host$ file wxmaxima_file.wxm wxmaxima_file.wxm: wxMaxima batch file user@host$ file -i wxmaxima_file.wxm wxmaxima_file.wxm: text/x-wxmaxima-batch; charset=us-ascii
设置您的桌面环境或文件管理器以根据
text/x-wxmaxima-batch
mime 类型运行 wxMaxima。 (具体的操作方式取决于这样的桌面环境或文件管理器。所以如果你不知道这样的细节,你可以问另一个问题。)