権限のないユーザーとして実行した場合に meld が /dev/fd/* にアクセスできない理由は何でしょうか?

Question

meld では、これらも書き込み可能である必要があるのではないかと考えました。ただし、(「読み取り」に注意してください) と書かれています。Could not read fileさらに、ルートに対してはそのようなエラーが発生しなかったため、ルートに対しては書き込み可能であることが暗黙的に示されています。

~$ diff <(echo foo) <(echo bar)
1c1
< foo
---
> bar

~$ meld <(echo foo) <(echo bar)  # not working, see comment below
~$ sudo -s
~# meld <(echo foo) <(echo bar)  # works just fine

最初のものは戻ってきCould not read fileます[Errno 2] No such file or directory: '/dev/fd/63'。

この動作の理由は何だと思いますか?

上は権限のないユーザー、下は root です。

Answer 1

これは、Meld ウィンドウがすでに開いている場合に発生します。その場合、再度実行すると既存の Meld プロセスを使用しようとしますが、そのプロセスは置換に使用されるファイルにmeldアクセスできません.../dev/fd

他のすべてを無視して、Meld に「新しい」プロセスを強制的に使用させるオプションはないようです。