こちらaに関してはopenoffice.org-gnomeをinstallすることでmime typeがきれいに設定されたようで解決した。 bについてはWebDAVを放棄してsshでmountして回避することに。

昨日設定したWebDAVをgnome上でマウントするも、特定の拡張子(.ods)だと a. クリックしてもopenofficeが起動の途中でコケる -> logの出力方法もわからん b. localに窓越しにcopyするとエラー "入出力エラーです"が出る ということで実用に耐えない。 同一net…