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

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-27 Thread Jack Hill 

bwrap: Can't create file at /etc/pulse/client.conf: No such file or directory
bwrap: Can't mkdir parents for /run/current-system/profile/lib/gstreamer-1.0: 
No such file or directory


I've made a little bit of progress [0] on what's causing these errors. I 
believe it is an issue in Bubblewrap bind and symlinks [1]. Can this 
problem be worked-around in WebKitGTK?


[0] https://debbugs.gnu.org/cgi/bugreport.cgi?bug=40837#31
[1] https://github.com/containers/bubblewrap/issues/195

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