Re: Playing video in browser

2020-06-04 Thread excalamus--- via
Jun 4, 2020, 15:39 by m...@ambrevar.xyz: > It's not very obvious what to document it since it applies to all > WebKitGTK. > One idea is to indicate the relationship between packages.  For example, guix package -s gstreamer | less ... + Applications can take advantage of advances in codec and fi

Re: Failed to build webkitgtk

2020-06-04 Thread Simen Endsjø
Tobias Geerinckx-Rice writes: Simen, Simen Endsjø 写道： View build log at '/var/log/guix/drvs/g6/b2wl1xz8q3g7whrs2b3c8yjqrf974s-webkitgtk-2.28.2.drv.bz2'. This file contains the actual build output. Could you attach it (or, if it's over a few 100K, its tail)? Building even 80% of WebKitG

Re: Guix System ext4 index full

2020-06-04 Thread Vincent Legoll
Hello Roel, On 04/06/2020 20:55, Roel Janssen wrote: Thanks for your help. Don't worry, I figured I had to reinstall it, which is okay. :) Unfortunately, after reinstalling Guix using Btrfs as the root filesystem I cannot seem to boot either. The last line printed on the screen is: [ 10.830

Re: Guix System ext4 index full

2020-06-04 Thread Roel Janssen
Hi Tobias, Thanks for your help. Don't worry, I figured I had to reinstall it, which is okay. :) Unfortunately, after reinstalling Guix using Btrfs as the root filesystem I cannot seem to boot either. The last line printed on the screen is: [ 10.830469 ] Error: Driver 'pcspkr' is already regi

Re: Playing video in browser

2020-06-04 Thread excalamus--- via
Jun 4, 2020, 11:59 by m...@ambrevar.xyz: > You need to install a combination of > > gst-libav > gst-plugins-bad > gst-plugins-base > gst-plugins-good > gst-plugins-ugly > > depending on the video type you want to play in WebKitGTK-based > browsers. > If you don't know, install them all. > Thank yo

Re: curl server certificate verification failed for a few sites

2020-06-04 Thread Tobias Geerinckx-Rice
Giovanni Biscuolo 写道： Jack Hill writes: The error wget gives is a little bit better, FWIW, I use this (extremely verbose) command to debug/check my own servers: $ openssl s_client -showcerts -servername voices.transparency.org \ -connect voices.transparency.org:443 Therefore, I thi

Re: curl server certificate verification failed for a few sites

2020-06-04 Thread Giovanni Biscuolo
Hi Jack, thanks for your help! ...and sorry if this is not Guix specific Jack Hill writes: [...] > I think that this is due to the recent AdTrust Root CA cert expiration > [0]. The error wget gives is a little bit better, but you know about the > situation to interpret it correctly: > > """

Playing video in browser

2020-06-04 Thread excalamus--- via
I can't figure out how to play the videos on the Guix homepage using a browser from within Guix. I have installed GuixSD in a VM with the XFCE desktop.  I have installed Epiphany, along with gstreamer andd ffmpeg.  When I navigate to  http://guix.gnu.org/videos/, the videos won't play. I have s

Re: curl server certificate verification failed for a few sites

2020-06-04 Thread Jack Hill
On Thu, 4 Jun 2020, Giovanni Biscuolo wrote: Hello Guix, --8<---cut here---end--->8--- I'm having a strange error with curl from Guix (on a foreign distro): --8<---cut here---start->8--- giovanni@roquette: curl -I https:/

Re: Failed to build webkitgtk

2020-06-04 Thread Tobias Geerinckx-Rice
Simen, Simen Endsjø 写道： View build log at '/var/log/guix/drvs/g6/b2wl1xz8q3g7whrs2b3c8yjqrf974s-webkitgtk-2.28.2.drv.bz2'. This file contains the actual build output. Could you attach it (or, if it's over a few 100K, its tail)? Building even 80% of WebKitGTK here is prohibitive. Thanks!

Failed to build webkitgtk

2020-06-04 Thread Simen Endsjø
I did guix pull followeb by reconfigure, and I get an error. $ sudo guix system reconfigure /etc/config.scm substitute: updating substitutes from 'https://ci.guix.gnu.org'... 100.0% The following derivations will be built: /gnu/store/hrdp3nh2vqpy2m18c19crl496vimx2l4-gnome-control-center-3.3

Re: Guix System ext4 index full

2020-06-04 Thread Tobias Geerinckx-Rice
Tobias Geerinckx-Rice 写道： I think your in-chroot guix is talking to the live system's guix-daemon. Perhaps stopping the out-of-chroot daemon and starting a ‘guix-daemon --disable-chroot’ inside the chroot will work. If that doesn't help, perhaps this[0] will. Kind regards, T G-R [0]: htt

curl server certificate verification failed for a few sites

2020-06-04 Thread Giovanni Biscuolo
Hello Guix, this is my current Guix version: --8<---cut here---start->8--- Generation 71 giu 03 2020 17:44:58(current) guix 2f49007 repository URL: https://git.savannah.gnu.org/git/guix.git branch: master commit: 2f49007dd076b14feb40d7c3331

Re: Guix System ext4 index full

2020-06-04 Thread Tobias Geerinckx-Rice
Roel, Roel Janssen 写道： Thanks for the suggestion. So I did: $ tune2fs -O large_dir /dev/sdd3 .. and after a reboot I get booted into a GRUB resque shell. Shart. It seems that GRUB still[0] can't read ext4 file systems with features newer than 2017 :-/ I'll never recommend this again (I u

Re: Guix System ext4 index full

2020-06-04 Thread Roel Janssen
On Wed, 2020-06-03 at 22:35 +0200, Tobias Geerinckx-Rice wrote: > Roel, > > Roel Janssen 写道： > > Large directory feature is not enabled on this filesystem > > Try setting the ‘large_dir’ feature on /dev/sdd3 with tune2fs -O > > Kind regards, > > T G-R Thanks for the suggestion. So I did: $ tu

Re: Here are my teaching guix videos

2020-06-04 Thread Jérémy Korwin-Zmijowski
Hi Joshua ! This is awesome ! I love to see other people hacking with Guile and Guix. I will be a follower haha. Keep doing! Jérémy