Re: [webkit-dev] webkitgtk and bubblewrap help needed

2020-04-28 Thread Michael Catanzaro 
On Mon, Apr 27, 2020 at 11:22 pm, Jack Hill  
wrote:

Can this problem be worked-around in WebKitGTK?


Looks like WebKit should call realpath() for each path it passes to 
bwrap. Annoying, but certainly doable. Want to report a bug for it on 
WebKit Bugzilla?



___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev

Re: [webkit-dev] webkitgtk and bubblewrap help needed

2020-04-28 Thread Jack Hill 

On Tue, 28 Apr 2020, Michael Catanzaro wrote:


On Mon, Apr 27, 2020 at 11:22 pm, Jack Hill  wrote:

Can this problem be worked-around in WebKitGTK?


Looks like WebKit should call realpath() for each path it passes to bwrap. 
Annoying, but certainly doable. Want to report a bug for it on WebKit 
Bugzilla?


Sure, I've submitted https://bugs.webkit.org/show_bug.cgi?id=211131

Best,
Jack
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev