Re: WebKit: Failing to play most HTML5 videos

2018-12-11 Thread Ricardo Wurmus
Ricardo Wurmus writes: > Ricardo Wurmus writes: > >> Pierre Neidhardt writes: >> >>> With Epiphany: […] >>> 0:00:02.444056430 6908 0xdc3320 WARN curlhttpsrc >>> gstcurlhttpsrc.c:1068:gst_curl_http_src_handle_response: Curl >>> failed the transfer (60): SSL peer certificat

Re: WebKit: Failing to play most HTML5 videos

2018-12-11 Thread Ricardo Wurmus
Ricardo Wurmus writes: > Pierre Neidhardt writes: > >> With Epiphany: […] >> 0:00:02.444056430 6908 0xdc3320 WARN curlhttpsrc >> gstcurlhttpsrc.c:1068:gst_curl_http_src_handle_response: Curl >> failed the transfer (60): SSL peer certificate or SSH remote key was not OK > >

Re: WebKit: Failing to play most HTML5 videos

2018-12-11 Thread Ricardo Wurmus
Pierre Neidhardt writes: > With Epiphany: […] > 0:00:02.444056430 6908 0xdc3320 WARN curlhttpsrc > gstcurlhttpsrc.c:1068:gst_curl_http_src_handle_response: Curl > failed the transfer (60): SSL peer certificate or SSH remote key was not OK That’s the same error I got. It m

Re: guix gc, any way to delete only packages that aren't required to build anything?

2018-12-11 Thread George Clemmer
Hi Mark, Mark H Weaver writes: > On my GuixSD system where substitutes are completely disabled and I > build everything locally, I've been running my Guix daemon with both > --gc-keep-derivations=yes and --gc-keep-outputs=yes for years. Here's > the relevant excerpt of my OS config: ... Thanks

Re: WebKit: Failing to play most HTML5 videos

2018-12-11 Thread Ricardo Wurmus
Pierre Neidhardt writes: > Leo Famulari writes: >> It works for me on Debian if I install (at least) gst-plugins-base and... > > Hmm, weird. Possible explanations I can see: > > - It's hardware related. I have an Intel HD 620, driver i915. > - Something is not purely functional in the depend

Re: WebKit: Failing to play most HTML5 videos

2018-12-11 Thread Ricardo Wurmus
Pierre Neidhardt writes: > Hey, > > since a general update a week ago or so, it seems that I'm unable to > play most HTML5 videos. Youtube works. > imdb.com fails, and so do most other websites with a similar error. > > Did something broke with gstreamer / gst-plugins? Here’s what I tried: -

Re: Next browser finally on master!

2018-12-11 Thread swedebugia
On 2018-12-11 08:46, Pierre Neidhardt wrote: > Hi! Thanks for the feedback. > >> M-x >> scroll the list to the bottom (with down-arrow) (freezez at >> JUMP-TO-HEADING) > > I can't reproduce this. Can you produce this systematically? Can you post > the > content of /tmp/next-gtk-webkit.log? O