Re: Relationship between Docker and Guix
Hi Ricardo! Thank you sooo much for taking your time for the explanation :) I will probably come back to this when I prepare that part of the presentation about it. Regards :) Laura
Relationship between Docker and Guix
Hi Guix! I am preparing a talk to introduce the community in a meetup, and one of the topics the people want to know about is its relationship with Docker. I've read the manual, and have Ludo's talk from FOSDEM 2019, but if someone more experienced than me can help me (maybe there is a blog post, another talk, or through here) I would really appreciate it, because I am pretty new to Docker. Regards :) Laura
Re: Gender neutral documentation
Hi! I would like to help in translating to Spanish if you need to :) Latin languages are pretty bad at that. In Spanish, people sometimes > replace the “a” and “o” suffixes (which denote feminine and masculine) > with “@” or with “e”. > Here we use "e" or "x" for gender neutrality (ie: les usuaries, or lxs usuarixs for "the users", the reason of using an "e" is that you can pronounce it, while @ or x not). However, nothing is approved by Real Academia Española. Regards :) Laura
Re: Seeking Outreachy internship project proposals
Hi! I just wanted to let you know that even I'm in the process of moving I can help in writing the blog post for Outreachy and so on if you need :) Regards :) Laura
Re: We need your feedback of the documentation videos!
Hi Guix! I've uploaded a new version of the video for asking for help. Here is the link to it: https://archive.org/details/guix-videos/03-help-new-version.webm I guess I took into account all the suggestions from Ricardo and Tobias, but I would appreciate feedback again :) Kind regards :) Laura
Re: We need your feedback of the documentation videos!
Hi! We now have https://guix.gnu.org/install.sh. You are free to use it. > Uhm I am getting a 404 for this link :/ > > Can you tell me how to reproduce this? Prehaps it’s a problem with our > scripts? > I am attaching the cliSession file (cannot copy/paste it here, it gets broken). You have to generate the cli video, inside the root video directory, with ` ./create-cli-video.sh 01-installation-from-script en_US firstCli 1`. I get question mark symbols instead of the logo, that is why I changed it for *s. Don't pay attention to the mismatch between the audio and the video, it is something to solve later. > > It is confusing, because the user is not supposed to execute the “yes” > command but just to answer “yes” to the question — on the same line. > OK, I removed the #, the 'yes' is still in a newline, is that too bad? > > I’d prefer either a simple ellipsis (“…”) or the actual console output. > OK, will change it for that :) As regards what Tobias said: "- 01:25 ‘The output tells us the signature is good.’ This made me chuckle: in typical GPG fashion, everything in its output implies the opposite unless you're already familiar with it. I realise it's far too late to touch the audio. Could we highlight ‘public key … imported’ after half a second or so? I don't know if the scripts allow easy highlighting of output text like that." Yes, unluckily we should record again the audio to change that. There is still work to do regarding colouring the output. I don't know what the others would like to do (if publishing the videos with the output as it is, or waiting until improving that) Regards :) Laura firstCli Description: Binary data
Re: We need your feedback of the documentation videos!
Hi! I will start fixing what we can from the videos :) Will be answering video by video to see what we can change and what we cannot unless we record again the transcript :/ 01-installation-from-script: - at 01:15 the URL is broken in an odd manner. This can be fixed in one of these ways: a) use a shorter existing URL: https://git.sv.gnu.org/cgit/guix.git/plain/etc/guix-install.sh b) realize that the URL is still too long and create an alias at https://guix.gnu.org/install.sh and use that. I will try using both links, if a) is still too long will make you know so that we create b). - at 01:20 the GPG key is fetched from the SKS servers, which expose users to attacks. This should be replaced with the new method to fetch the GPG key. - at 01:30 Ludo’s name is mangled. Looks like an encoding problem. Will install it from scratch again to fix the first issue, and as regards Ludo's name what I show was the output of fetching the key. Will go back to this after the installation. - at 01:35 the output has been altered. We are not using stars in the logo. What is the reason for altering the output? There was a kind of encoding issue, the actual logo was not being shown with the script so tried to fix it like that :/ - at 02:00 the output looks odd… is the script really creating “” and then again “”? If this has been edited: why? This is really a mistake :) To fix! - at 02:15 the way “# yes” is input would not work in real life because “# yes” is not “yes”. Is this a limitation of the video generation scripts? Don't get this very well, the # is just to show that the user is root, but we can remove it if it is confusing. - at 02:50 the command should probably be “guix install hello” instead of “guix package -i hello”. Yes, the video is outdated since it was created. - at the same mark there is a series of dots, which is not produced by Guix. Why have they been added? This is done in most videos, they are used to kind of show that something goes in between but it is not relevant to show it. Do you have any other idea for that? - at 02:55 the environment variable hint is outdated. Guix now prints something shorter. Again outdated. - at 3:10 the URL is printed in italics, which makes it harder to read. We should probably use “https://guix.gnu.org/manual”. This is something to fix in all videos. Regards :) Laura
Re: We need your feedback of the documentation videos!
Hi! Does anybody else want to say something about the videos? :) Regards! Laura
We need your feedback of the documentation videos!
Hi Guix! We are about to publish the existing documentation videos and we need your help! If you are interested, please, watch them https://archive.org/details/guix-videos and give feedback here :) We will appreciate it very much, and the idea is to collect the feedback up to next Tuesday (July 23rd) Kind regards! Laura
Re: Video license
Hi all :) Have just pushed the README file and deleted environment.sh (it's no longer needed). Regards! Laura
Re: Video license
Hi Bruno :) > To assign copyright to people and years, I used the git log plus > knowledge about the work of Laura and Ricardo. Please add/correct if > something is missing or wrong. > Thank you, great work. I believe Ricardo should also appear in the Makefile. > > I wanted to put all "artistic" work under the CC-license, but wasn't > sure how to do it right. > Me neither, I used the license for my blog, but it is something different. > > I will work on that over the week. If you are faster, don't hesitate to > work on it. > I can work on improving the README these days. Alles gute, Laura
Re: Video license
Hi!! Shall we define this so that we upload the videos :)? Regards :) Laura
Re: New episode of Libre Lounge out interviewing Ludovic about Guix!
hey! congrats!!! will definitely listen to it! thanks for sharing :)
Re: SELinux log
Hi! * I’m repeating myself here: do *not* use enforcing mode. Do use > permissive mode only. > Oh, sorry for this, it was the "easy" way of checking that it didn't work. I have byobu running now with a tail -f of the audit log. My question was more like "I am hardcoding the path to guix -at least before doing a guix pull -, I cannot understand why that doesn't work, even if I did it just for trying if it solved partially why guix was not found. On the other hand, I get: type=AVC msg=audit(1560741907.590:426): avc: denied { search } for pid=31810 comm="which" name="gnu" dev="dm-0" ino=931548 scontext=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 tcontext=unconfined_u:object_r:guix_daemon.guix_store_content_t:s0 tclass=dir permissive=1 Should I add something allowing commands under /usr/bin to operate over guix? Or am I mixing things too much? Regards :) Laura -- > Ricardo > >
Re: SELinux log
Hi! I am somewhat stuck :/ I cannot figure out why this doesn't work. I have even tried adding the full path but when I test it I still see that Guix is not found using enforcing mode. Any ideas? Regards :) Laura @@ -1,4 +1,4 @@ -;; -*- lisp -*- +; -*- lisp -*- ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2018 Ricardo Wurmus ;;; @@ -42,13 +42,9 @@ (roletype object_r guix_store_content_t) (type guix_profiles_t) (roletype object_r guix_profiles_t) - (type guix_client_exec_t) - (roletype object_r guix_client_exec_t) - (type guix_client_t) - (roletype object_r guix_client_t) ;; These types are domains, thereby allowing process rules - (typeattributeset domain (guix_daemon_t guix_daemon_exec_t guix_client_t)) + (typeattributeset domain (guix_daemon_t guix_daemon_exec_t)) (level low (s0)) @@ -58,8 +54,6 @@ process guix_daemon_t) (typetransition guix_store_content_t guix_daemon_exec_t process guix_daemon_t) - (typetransition guix_store_content_t guix_client_exec_t - process guix_client_t) ;; Permit communication with NSCD (allow guix_daemon_t @@ -266,19 +260,6 @@ self (udp_socket (ioctl create))) - ;;Client operations - (allow guix_client_t - guix_daemon_conf_t - (dir (search - getattr - open read))) - (allow guix_client_t - guix_daemon_conf_t - (file (map -getattr -open read))) - - ;; Label file system (filecon "@guix_sysconfdir@/guix(/.*)?" any (system_u object_r guix_daemon_conf_t (low low))) @@ -301,6 +282,4 @@ (filecon "@storedir@/.+-(guix-.+|profile)/libexec/guix/(.*)?" any (system_u object_r guix_daemon_exec_t (low low))) (filecon "@guix_localstatedir@/guix/daemon-socket/socket" - any (system_u object_r guix_daemon_socket_t (low low))) - (filecon "/var/guix/profiles/per-user/root/current-guix/bin/guix" - file (system_u object_r guix_client_exec_t (low low + any (system_u object_r guix_daemon_socket_t (low low
Re: SELinux log
Hi! Thanks for guiding me in solving this issue :) I am editing the file to see if I can finish the task, will answer back with my new results. Thanks! (Please use “diff -u” in the future; it’s clearer when you’re > used to git diffs.) > Will take this into account! What about what “guix pull” installs? > Yes, I thought about this. Regards :) Laura
Re: SELinux log
> What is the file name of “guix” when running in permissive mode? We > need to know this to adjust the policy. > After running `which guix` I get: /usr/local/bin/guix I tried to add another label for it but it didn't work. I was going to ask you for a good tutorial for writing the policies but I have just found https://github.com/SELinuxProject/cil/wiki, I will read it the next days :) I am attaching the diff file. Regards! Laura diff -b guix-daemon.cil /home/laura/guix/etc/guix-daemon.cil.in 1c1 < ;; -*- lisp -*- --- > ; -*- lisp -*- 45,48d44 < (type guix_client_exec_t) < (roletype object_r guix_client_exec_t) < (type guix_client_t) < (roletype object_r guix_client_t) 51c47 < (typeattributeset domain (guix_daemon_t guix_daemon_exec_t guix_client_t)) --- > (typeattributeset domain (guix_daemon_t guix_daemon_exec_t)) 267,279d262 < ;;Client operations < (allow guix_client_t < guix_daemon_conf_t < (dir (search < getattr < open read))) < (allow guix_client_t < guix_daemon_conf_t < (file (map < getattr < open read))) < < 302,306c285any (system_u object_r guix_daemon_socket_t (low low
Re: SELinux log
That’s confusing. Didn’t you say that you ran “guix search” before? I've figured out the reason. In both cases -when I create the .autorelabel file and reboot (so the permissive mode goes away, since I am changing it through the CLI) and when I don't but run `restorecon -r /` and set it to enforcing mode manually - guix is not found anymore. In permissive mode guix is found and I can use it without issues. I even don't get anything logged in the audit.log file. Any ideas? I only added/changed the lines of the file that you sent me here. Regards :) Laura
Re: SELinux log
Yes, I know. The lines I proposed were untested, though, and some of > them required adjustment, so I was curious to know what exact changes > you performed locally and where. After writing the previous email I have realized I could have done it in a separate file, right? Like I said, I cloned the repo copied the the etc/guix-daemon.cil, under /root, added the types/ rules and replaced the typeattributeset in the "sections" of the file. > > > BTW, when they are finished how can I share that file > > without pushing it? > > You can share a git formatted patch as an email attachment. > Ok, I will do it then. > > When you run “which guix” what does it say? What does “readlink -f > $(which guix)” say? > I first get the result of evaluating `which guix` saying it is not found, and then thar readlink has no operand, see: /usr/bin/which: no guix in (/home/laura/.local/bin:/home/laura/bin:/usr/share/Modules/bin:/usr/local/bin:/usr/local/sbin:/usr/bin:/usr/sbin) readlink: missing operand Regards :)
Re: SELinux log
Hi! Which lines? All of the changes I described were not necessarily ready > for inclusion. They were all untested. > No, I meant I did it locally on my computer. I didn't even touched the original file. BTW, when they are finished how can I share that file without pushing it? > This probably just means that there is no context permissions for “ls” > to access /gnu. Another “allow” rule may be required to permit > read-only access on /gnu to any process. > Oh, I see, but I still have the issue of not finding Guix. I will try to create rules and share them here. Regards :) Laura > > -- > Ricardo > >
Re: SELinux log
Hi! I added the lines to a copy of guix-daemon.cil which I got from cloning guix and placed it in root's home. Since everything was messy (/gnu had d?? as permissions as well as all the fields listed with `ls -l`, and could not solve it, even trying to delete it ), I restored my VM to the point prior to adding the policy and loading the module. There i ran semodule, using the new file, created the .autorelabel file and rebooted. It labeled everything, but I still can't run guix, and /gnu dir again ended with these weird permisions: d?? ? ???? gnu Any ideas? Regards :/ Laura
Re: Video license
Hi :) Fine. I will do that. But I would like to see the agreement of the > other contributors. Ricardo, Laura, Gábor: Do you also agree on that? > Sorry, I agree. Regards :) Laura
Re: SELinux log
Hi! So we need to figure out what file that “guix” command corresponds to, > so that we can add a rule to the policy to apply the correct label. > I see. But how can we do this? Regards :) Laura
Re: SELinux log
Hi! More info after having my fresh install. First, I ran semode, and checked with -Z option my /gnu dir successfully. After that, I created the file and rebooted. While rebooting this time I got the message telling me that the system was being relabeled. Then, I ran restorecon and set SELinux to Permissive mode. Tried it doing a guix search hello. My audit log showed: type=AVC msg=audit(1560131803.485:381): avc: denied { search } for pid=8177 comm="bash" name="guix" dev="dm-0" ino=679365 scontext=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 tcontext=unconfined_u:object_r:guix_daemon.guix_daemon_conf_t:s0 tclass=dir permissive=0 After that I SELinux to Enforcing to see what message I got i the CLI, and it was a Permission Denied, and now I am getting that guix is not installed, double checking with `which guix` :S I am trying installing guix again with the script, and it reaches the point where I get: mv: cannot stat '/var/guix': Permission denied Any ideas? Regards! Laura
Re: SELinux log
Hi! > > If this doesn’t work I don’t know how to proceed. > Me neither. I will delete my VM and have a fresh install, to see if I did sth wrong in between, following the same steps. At least we know that in Fedora/RHEL we deactivate SELinux and Guix works fine up to now :/ > > Good luck! :) > Yes, I wish I did sth wrongly and it works on my new VM. Will answer back here! Regards :) Laura
Re: SELinux log
Hi! Reinstallation should not be necessary for this. It’s unlikely that > SELinux is broken. Just make sure that everything is properly labeled. > The reboot should take a pretty long time while every file on the disk > is labeled. > uhm then I am doing sth wrong, or did not understand very well when I should run the last two commands. I ran `semodule -i etc/guix-daemon.cil`, then created the file, rebooted, and nothing happened. I am running again `restorecon -r /`. Which one should be the order?
Re: SELinux log
Hi! Uhm, that’s weird, but you’re not in permissive mode, are you? What > does “getenforce” say? > I tired it in both modes and the same result in the log file. > > To relabel your whole file system according to installed policies run > this: > > touch /.autorelabel > reboot > I will see if my Fedora on the VM is not broken and try it. Otherwise fresh install... and do this. will answer back with my results. Regards :) Laura
Re: SELinux log
--8<---cut here---start->8--- type=FS_RELABEL msg=audit(1559947443.686:26389): pid=2658 uid=0 auid=1000 ses=3 subj=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 msg='op=mass relabel exe="/usr/sbin/setfiles" hostname=localhost.localdomain addr=? terminal=pts/1 res=failed'UID="root" AUID="laura" type=MAC_POLICY_LOAD msg=audit(1559947618.423:26390): auid=1000 ses=3 lsm=selinux res=1AUID="laura" type=USER_AVC msg=audit(1559947745.466:39283): pid=1 uid=0 auid=4294967295 ses=4294967295 subj=system_u:system_r:init_t:s0 msg='avc: received policyload notice (seqno=3) exe="/usr/lib/systemd/systemd" sauid=0 hostname=? addr=? terminal=?'UID="root" AUID="unset" SAUID="root" type=USER_AVC msg=audit(1559947745.467:39284): pid=1 uid=0 auid=4294967295 ses=4294967295 subj=system_u:system_r:init_t:s0 msg='avc: received policyload notice (seqno=4) exe="/usr/lib/systemd/systemd" sauid=0 hostname=? addr=? terminal=?'UID="root" AUID="unset" SAUID="root" type=AVC msg=audit(1559947746.785:39285): avc: denied { relabelto } for pid=2688 comm="restorecon" name="guix" dev="dm-0" ino=311508 scontext=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 tcontext=unconfined_u:object_r:guix_daemon.guix_daemon_conf_t:s0 tclass=dir permissive=0 type=AVC msg=audit(1559947746.787:39286): avc: denied { relabelto } for pid=2688 comm="restorecon" name="acl" dev="dm-0" ino=306189 scontext=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 tcontext=unconfined_u:object_r:guix_daemon.guix_daemon_conf_t:s0 tclass=file permissive=0 --8<---cut here---end--->8---
Re: SELinux log
Sorry, my mail client apparently hates me, it is somewhat formatting my mails after sending them ¬¬
Re: SELinux log
Hi! > Thank you, the log is helpful (even though it looks like your mail > client reformatted it, which makes it very hard to read). Sorry for that :/ > Did you run “restorecon” on the store to recursively label all files? I did, but I have just found that you are right, looking at the log that it is not labeling properly (I am running the commands like they are in the manual, with the proper path to the policy, and `restorecon -r /`), weird, see: --8<---cut here---start->8--- type=FS_RELABEL msg=audit(1559947443.686:26389): pid=2658 uid=0 auid=1000 ses=3 subj=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 msg='op=mass relabel exe="/usr/sbin/setfiles" hostname=localhost.localdomain addr=? terminal=pts/1 res=failed'UID="root" AUID="laura" type=MAC_POLICY_LOAD msg=audit(1559947618.423:26390): auid=1000 ses=3 lsm=selinux res=1AUID="laura" addr=? terminal=?'UID="dbus" AUID="unset" SAUID="dbus" type=USER_AVC msg=audit(1559947745.466:39283): pid=1 uid=0 auid=4294967295 ses=4294967295 subj=system_u:system_r:init_t:s0 msg='avc: received policyload notice (seqno=3) exe="/usr/lib/systemd/systemd" sauid=0 hostname=? addr=? terminal=?'UID="root" AUID="unset" SAUID="root" type=USER_AVC msg=audit(1559947745.467:39284): pid=1 uid=0 auid=4294967295 ses=4294967295 subj=system_u:system_r:init_t:s0 msg='avc: received policyload notice (seqno=4) exe="/usr/lib/systemd/systemd" sauid=0 hostname=? addr=? terminal=?'UID="root" AUID="unset" SAUID="root" type=AVC msg=audit(1559947746.785:39285): avc: denied { relabelto } for pid=2688 comm="restorecon" name="guix" dev="dm-0" ino=311508 scontext=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 tcontext=unconfined_u:object_r:guix_daemon.guix_daemon_conf_t:s0 tclass=dir permissive=0 type=AVC msg=audit(1559947746.787:39286): avc: denied { relabelto } for pid=2688 comm="restorecon" name="acl" dev="dm-0" ino=306189 scontext=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 tcontext=unconfined_u:object_r:guix_daemon.guix_daemon_conf_t:s0 tclass=file permissive=0 --8<---cut here---end--->8--- And taking a look at /gnu I get: d?? ? ???? gnu :S Regards :) Laura
Re: SELinux log
Hi! Hope to shed some light. I followed all the steps that I hadn't followed before in the documentation manual about SELinux for guix daemon (ran semodule, restorecon for all the filesystem and restarted the daemon). I forgot to set SELinux in permissive mode, so I still got the issue with the socket. Then I realized about this, and changed the mode. My log shows that SELinux would have prevented the daemon from running, like when I had it in enforcing mode: ---start here--- type=SERVICE_START msg=audit(1559870054.070:258): pid=1 uid=0 auid=4294967295 ses=4294967295 subj=system_u:system_r:init_t:s0 msg='unit=flatpak-system-helper comm="systemd" exe="/usr/lib/systemd/systemd" hostname=? addr=? terminal=? res=success'^]UID="root" AUID="unset" type=SERVICE_STOP msg=audit(1559870056.300:259): pid=1 uid=0 auid=4294967295 ses=4294967295 subj=system_u:system_r:init_t:s0 msg='unit=user@42 comm="systemd" exe="/usr/lib/systemd/systemd" hostname=? addr=? terminal=? res=success'^]UID="root" AUID="unset" type=SERVICE_STOP msg=audit(1559870056.340:260): pid=1 uid=0 auid=4294967295 ses=4294967295 subj=system_u:system_r:init_t:s0 msg='unit=user-runtime-dir@42 comm="systemd" exe="/usr/lib/systemd/systemd" hostname=? addr=? terminal=? res=success'^]UID="root" AUID="unset" type=AVC msg=audit(1559870056.930:261): avc: denied { read } for pid=750 comm="guix-daemon" name="libnss_files.so.2" dev="dm-0" ino=559459 scontext=system_u:system_r:init_t:s0 tcontext=unconfined_u:object_r:user_tmp_t:s0 tclass=lnk_file permissive=1 type=AVC msg=audit(1559870056.930:262): avc: denied { map } for pid=750 comm="guix-daemon" path="/gnu/store/h90vnqw0nwd0hhm1l5dgxsdrigddfmq4-glibc-2.28/lib/libnss_files-2.28.so" dev="dm-0" ino=559457 scontext=system_u:system_r:init_t:s0 tcontext=unconfined_u:object_r:user_tmp_t:s0 tclass=file permissive=1 type=AVC msg=audit(1559870056.930:263): avc: denied { execute } for pid=750 comm="guix-daemon" path="/gnu/store/h90vnqw0nwd0hhm1l5dgxsdrigddfmq4-glibc-2.28/lib/libnss_files-2.28.so" dev="dm-0" ino=559457 scontext=system_u:system_r:init_t:s0 tcontext=unconfined_u:object_r:user_tmp_t:s0 tclass=file permissive=1 type=AVC msg=audit(1559870056.937:264): avc: denied { create } for pid=2170 comm="guix-daemon" name="reserved" scontext=system_u:system_r:init_t:s0 tcontext=system_u:object_r:user_tmp_t:s0 tclass=file permissive=1 type=AVC msg=audit(1559870056.937:265): avc: denied { write } for pid=2170 comm="guix-daemon" path="/var/guix/db/reserved" dev="dm-0" ino=306296 scontext=system_u:system_r:init_t:s0 tcontext=system_u:object_r:user_tmp_t:s0 tclass=file permissive=1 type=AVC msg=audit(1559870056.940:266): avc: denied { write } for pid=2170 comm="guix-daemon" name="db.sqlite" dev="dm-0" ino=306225 scontext=system_u:system_r:init_t:s0 tcontext=unconfined_u:object_r:user_tmp_t:s0 tclass=file permissive=1 type=AVC msg=audit(1559870056.950:267): avc: denied { setattr } for pid=2170 comm="guix-daemon" name="db.sqlite-wal" dev="dm-0" ino=306376 scontext=system_u:system_r:init_t:s0 tcontext=system_u:object_r:user_tmp_t:s0 tclass=file permissive=1 type=AVC msg=audit(1559870056.950:268): avc: denied { map } for pid=2170 comm="guix-daemon" path="/var/guix/db/db.sqlite-shm" dev="dm-0" ino=306377 scontext=system_u:system_r:init_t:s0 tcontext=system_u:object_r:user_tmp_t:s0 tclass=file permissive=1 type=AVC msg=audit(1559870058.000:269): avc: denied { link } for pid=2170 comm="guix-daemon" name="7f1alh9qj2h0wwy2220npgnmw6pbrkwx-mirrors" dev="dm-0" ino=551918 scontext=system_u:system_r:init_t:s0 tcontext=system_u:object_r:user_tmp_t:s0 tclass=file permissive=1 type=AVC msg=audit(1559870058.130:270): avc: denied { rename } for pid=2170 comm="guix-daemon" name=".tmp-link-2170-1804289383" dev="dm-0" ino=551930 scontext=system_u:system_r:init_t:s0 tcontext=system_u:object_r:user_tmp_t:s0 tclass=file permissive=1 type=AVC msg=audit(1559870060.410:271): avc: denied { execute_no_trans } for pid=2173 comm="guix-daemon" path="/gnu/store/ncknl03pkmamrxg7q9nxi1rn1qhvwbi9-guix-1.0.1/libexec/guix/substitute" dev="dm-0" ino=679069 scontext=system_u:system_r:init_t:s0 tcontext=unconfined_u:object_r:user_tmp_t:s0 tclass=file permissive=1 type=AVC msg=audit(1559870060.886:272): avc: denied { name_connect } for pid=2173 comm=677569782073756273746974757465 dest=443 scontext=system_u:system_r:init_t:s0 tcontext=system_u:object_r:http_port_t:s0 tclass=tcp_socket permissive=1 type=SERVICE_STOP msg=audit(1559870062.620:273): pid=1 uid=0 auid=4294967295 ses=4294967295 subj=system_u:system_r:init_t:s0 msg='unit=fprintd comm="systemd" exe="/usr/lib/systemd/systemd" hostname=? addr=? terminal=? res=success'^]UID="root" AUID="unset" type=SERVICE_STOP msg=audit(1559870070.140:274): pid=1 uid=0 auid=4294967295 ses=4294967295 subj=system_u:system_r:init_t:s0 msg='unit=systemd-localed comm="systemd" exe="/usr/lib/systemd/systemd"
Re: SELinux log
Hi! > Thanks. Did you install the SELinux policy for the daemon that is > included in the source code repository? (It is not included in the > files that “guix pull” installs.) My bad, I haven 't :/ Shall I put SELinux in enforcing mode and do so? Regards :) Laura
Re: Documentation videos are being uploaded!
Hi! > Thank you Laura for continuously caring about the videos even after > your internship ended! Of course Bruno :) I said I would go on as a contributor and here I am ;) Alles gute! Laura
SELinux log
Hi Guix! Today I've been installing Guix on top of Fedora (relase30), and I faced issues with guix-daemon, getting it did not have permissions for running. It was a SELinux problem, since after disabling it and restarting the daemon I could use guix normally. Here is my audit.log file, in case someone is interested. AFAIK I don't see anything terrible. Regards :) Lauratype=USER_START msg=audit(1559677185.958:270): pid=3429 uid=0 auid=1000 ses=3 subj=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 msg='op=PAM:session_open grantors=pam_keyinit,pam_limits,pam_keyinit,pam_limits,pam_systemd,pam_unix acct="root" exe="/usr/bin/sudo" hostname=? addr=? terminal=/dev/pts/0 res=success'^]UID="root" AUID="laura" type=USER_AUTH msg=audit(1559677185.980:271): pid=3435 uid=0 auid=1000 ses=3 subj=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 msg='op=PAM:authentication grantors=pam_rootok acct="root" exe="/usr/bin/su" hostname=localhost.localdomain addr=? terminal=pts/0 res=success'^]UID="root" AUID="laura" type=USER_ACCT msg=audit(1559677185.980:272): pid=3435 uid=0 auid=1000 ses=3 subj=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 msg='op=PAM:accounting grantors=pam_succeed_if acct="root" exe="/usr/bin/su" hostname=localhost.localdomain addr=? terminal=pts/0 res=success'^]UID="root" AUID="laura" type=CRED_ACQ msg=audit(1559677185.984:273): pid=3435 uid=0 auid=1000 ses=3 subj=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 msg='op=PAM:setcred grantors=pam_rootok acct="root" exe="/usr/bin/su" hostname=localhost.localdomain addr=? terminal=pts/0 res=success'^]UID="root" AUID="laura" type=USER_START msg=audit(1559677186.010:274): pid=3435 uid=0 auid=1000 ses=3 subj=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 msg='op=PAM:session_open grantors=pam_keyinit,pam_keyinit,pam_limits,pam_systemd,pam_unix,pam_umask acct="root" exe="/usr/bin/su" hostname=localhost.localdomain addr=? terminal=pts/0 res=success'^]UID="root" AUID="laura" type=SERVICE_STOP msg=audit(1559677213.721:275): pid=1 uid=0 auid=4294967295 ses=4294967295 subj=system_u:system_r:init_t:s0 msg='unit=fprintd comm="systemd" exe="/usr/lib/systemd/systemd" hostname=? addr=? terminal=? res=success'^]UID="root" AUID="unset" type=ADD_GROUP msg=audit(1559677295.645:276): pid=3555 uid=0 auid=1000 ses=3 subj=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 msg='op=add-group id=976 exe="/usr/sbin/groupadd" hostname=localhost.localdomain addr=? terminal=pts/0 res=success'^]UID="root" AUID="laura" ID="guixbuild" type=GRP_MGMT msg=audit(1559677296.166:277): pid=3555 uid=0 auid=1000 ses=3 subj=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 msg='op=add-shadow-group id=976 exe="/usr/sbin/groupadd" hostname=localhost.localdomain addr=? terminal=pts/0 res=success'^]UID="root" AUID="laura" ID="guixbuild" type=ADD_USER msg=audit(1559677307.042:278): pid=3565 uid=0 auid=1000 ses=3 subj=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 msg='op=add-user id=978 exe="/usr/sbin/useradd" hostname=localhost.localdomain addr=? terminal=pts/0 res=success'^]UID="root" AUID="laura" ID="unknown(978)" type=USER_MGMT msg=audit(1559677307.048:279): pid=3565 uid=0 auid=1000 ses=3 subj=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 msg='op=add-user-to-group grp="guixbuild" acct="guixbuilder01" exe="/usr/sbin/useradd" hostname=localhost.localdomain addr=? terminal=pts/0 res=success'^]UID="root" AUID="laura" type=USER_MGMT msg=audit(1559677307.060:280): pid=3565 uid=0 auid=1000 ses=3 subj=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 msg='op=add-to-shadow-group grp="guixbuild" acct="guixbuilder01" exe="/usr/sbin/useradd" hostname=localhost.localdomain addr=? terminal=pts/0 res=success'^]UID="root" AUID="laura" type=ADD_USER msg=audit(1559677309.363:281): pid=3577 uid=0 auid=1000 ses=3 subj=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 msg='op=add-user id=977 exe="/usr/sbin/useradd" hostname=localhost.localdomain addr=? terminal=pts/0 res=success'^]UID="root" AUID="laura" ID="unknown(977)"
Re: Documentation videos are being uploaded!
Bonjour ;) > I agree; I’m just trying to stir it up so we start thinking about a > plan. :-) Great! > Someone else could eventually apply for membership to the ‘audio-video’ > group on Savannah so that Mark is not a single point of failure. Would you like me to do so? It would be a pleasure for me :) Regards :) Laura
Re: Documentation videos are being uploaded!
Hi! On Thu, May 30, 2019 at 1:16 PM Paul Garlick wrote: > I am thinking of adding a CREDITS file to the repository, primarily to > acknowledge the help given by the sound engineer. The use of the > studio equipment and the editing work made this part much easier than > it would otherwise have been. Yes, sure! I also agree that it is important giving credits :) Would you mind asking them if they want to have their name there? Regards! Laura
Re: [videos] patchset to fix https://audio-video.gnu.org URLs
Hi! > Since I doubt guix-patc...@gnu.org is the right place to send videos > patches, I'm attaching two tiny of them here, they fix a couple of typo > in https://audio.video.gnu.org (is https://audio-video.gnu.org actually). Thanks :) I have already applied them and pushed the changes. > > Nice work! Thank you :) > Happy Guix! Gio'. Happy Guix :)
Re: Documentation videos are being uploaded!
Hi/Hallo/Hola/Bonsoir :) All the videos are ready now :) > Agreed! The result is really nice, and the workflow you came up with is > a nice piece of engineering, too. Thank you very much Ludo :) > > Where should we go from there? > > There are several tasks that could be started (translating, adding color > output), but we could also go ahead and publish them on the web site, > WDYT? Yes, I have not forgotten about the coloring task, but I also wanted to finish them ASAP. Another pending task is creating the subtitles. As regards Spanish translations, I don't remember very well the process -if it goes to the translation project or not - but I can volunteer if its necessary, using as much neutral Spanish as I can. >Also, how should we publish them: once per week, say, and then > have a dedicate section of the web site? What are your thoughts on > this? I haven't thought about it, maybe now that they are ready we could let the community give their feedback for the following days? What about uploading them to the final site? Do we have to speak to someone else? > > Kudos Laura & Paul! I am cc'ing Paul :) Regards! Laura
Re: Documentation videos are being uploaded!
Hey Hey! Thanks for the compliments to everyone :) Working with Paul during the last months has been great and Gábor, Björn, Ricardo and Ludo had played a very important role while I was an intern too ;) . And also some Guix folks. Ok, let's keep the 3 min constraint for future videos and maybe split them into several, like we did with the ones that needed more time? Like I said, I will answer back when all the videos are uploaded, but if you take a look before that you will see some of them before that. Regards :) Laura
Re: Video narration
Hi Paul! > The method I use to track packages is to search at > https://guix-hpc.bordeaux.inria.fr/browse Thanks! My bad, I knew about this site but I never tracked a package, it is very useful. When I finish with the videos I will see if I can shed some light at least. > Perhaps your test has revealed a bug in the Guix packaging of totem. Hope not :P Regards :) Laura
Re: Documentation videos are being uploaded!
Hi Guix! Thanks for the feedback, I didn't expect such a long thread of mails and being happy with them :) As regards Paul's voice, I believe it depends on each person. For me it is a little slow but also very clear and kind of calm. And I guess the timing is based on the recordings that I did with my voice, so sorry for that :/ Like Gábor said, this is a temporary upload for the community. I will be uploading the next videos ASAP, they are already made and they exist, but I want to polish the matching of the CLI session videos as much as possible with the audios. Picky Laura. I'll let you know when I finish uploading all of them. Having more topics to cover with videos is great! We should need to change the 3 min constrain, please :P Regards :) Laura
Re: Video narration
Hi! On Thu, May 23, 2019 at 7:14 AM Paul Garlick wrote: > Did this problem resolve itself? > > I tested 01-installation-from-script on my system without seeing any > interruption. I am testing with totem version 3.26.0 on Ubuntu 18.04. I found the reason for this. I have a minimal installation of Ubuntu 18.04. I installed all the software I need with guix instead of apt, so I was using the version of totem that comes with guix. I removed this version and installed the one that comes with apt, and noticed that it also installed: gir1.2-totem-1.0, gir1.2-totemplparser-1.0, libtotem0 and totem-common, and after that, I didn't find anymore segmentation faults. I searched just a little on the web and found this: https://packages.ubuntu.com/bionic-updates/gir1.2-totem-1.0 Then, I removed the version of totem that comes with ubuntu and tried again with the one that comes with guix and the same result :/ I wanted to take a look at how totem was packaged but I can't find it, I feel so newbie right now :( Regards! Laura
Documentation videos are being uploaded!
Hi Guix! I have created the site: https://archive.org/details/guix-videos where I will be pushing the documentation videos that I created during my internship and that Paul helped a a lot sharing their voice and knowledge about video creation to enhance them. I appreciate feedback :) Regards! Laura
Re: Video narration
Hi :) > Hello Laura, > > Laura Lazzati ezt írta (időpont: 2019. máj. 21., > K, 4:52): >> >> Hi! >> >> >> > For what is worth, they could also be uploaded to https://archive.org/ >> Interesting! I was thinking about sth internal for the community first >> but the environment for the creation is available, so no problem for >> me. What do the others think? >> > > My client told me that they are still moving their hardware, and they won't > be able to > reliably serve the content for a few weeks. I believe that we could use > archive.org. Fine! I have already created an account. I am arranging cli session files / svg files to adapt them to the new release and seeing if I can improve the timings. Will be uploading the videos ASAP. Regards :) Laura
Re: Video narration
Hi! > For what is worth, they could also be uploaded to https://archive.org/ Interesting! I was thinking about sth internal for the community first but the environment for the creation is available, so no problem for me. What do the others think? BTW, I finished generating the videos. Sth weird happens with totem. I end up having a segmentation fault, here is the output. I found the issue with the first cli session video of the installation tutorial. - I will be updating the output with the new release info ;) Version: totem3.26.2, Ubuntu 18.04 foreign distro. guix (GNU Guix) 7a890145e3bc9d7aebd753ab2ccc3ba1aecfaf06 <-start--> totem 01-installation-from-script.webm Gtk-Message: 22:12:19.594: Failed to load module "canberra-gtk-module" Gtk-Message: 22:12:19.596: Failed to load module "canberra-gtk-module" (totem:1963): Gtk-WARNING **: 22:12:19.870: gtk_window_present_with_time() should not be called with 0, or GDK_CURRENT_TIME as a timestamp, the timestamp should instead be gathered at the time the user initiated the request for the window to be shown (totem:1963): Gtk-WARNING **: 22:12:20.221: Drawing a gadget with negative dimensions. Did you forget to allocate a size? (node slider owner GtkScale) (totem:1963): libpeas-WARNING **: 22:15:13.273: Type not found in introspection: 'PeasActivatable' (totem:1963): libpeas-WARNING **: 22:15:13.274: Method 'PeasActivatable.deactivate' was not found Segmentation fault (core dumped) <-end--> /var/log/kern.log: <-start--> May 20 22:11:47 ada kernel: [ 101.858689] ..totem-real-re[1841]: segfault at 0 ip 7f3a61cc78ad sp 7fff1fa7f120 error 4 in libmovie-properties.so[7f3a61cc6000+3000] May 20 22:15:13 ada kernel: [ 307.229149] ..totem-real-re[1963]: segfault at 0 ip 7ff15f39c8ad sp 7fffdb0fe3c0 error 4 in libmovie-properties.so[7ff15f39b000+3000] <-end--> /var/log/syslog <-start--> May 20 22:11:00 ada /usr/lib/gdm3/gdm-x-session[940]: (II) modeset(0): EDID vendor "VBX", prod id 0 May 20 22:11:00 ada /usr/lib/gdm3/gdm-x-session[940]: (II) modeset(0): DDCModeFromDetailedTiming: 1315x669 Warning: We only handle separate sync. May 20 22:11:00 ada /usr/lib/gdm3/gdm-x-session[940]: (II) modeset(0): Using hsync ranges from config file May 20 22:11:00 ada /usr/lib/gdm3/gdm-x-session[940]: (II) modeset(0): Using vrefresh ranges from config file May 20 22:11:01 ada org.gnome.Shell.desktop[1113]: Window manager warning: Buggy client sent a _NET_ACTIVE_WINDOW message with a timestamp of 0 for 0x2a00013 () May 20 22:11:27 ada gnome-software[1864]: plugin appstream took 3,3 seconds to do setup May 20 22:11:27 ada gnome-software[1864]: enabled plugins: os-release, packagekit-offline, packagekit-refresh, packagekit-proxy, packagekit-local, systemd-updates, shell-extensions, fwupd, packagekit-upgrade, packagekit, packagekit-refine-repos, ubuntuone, packagekit-url-to-app, desktop-categories, appstream, modalias, hardcoded-featured, rewrite-resource, hardcoded-popular, odrs, hardcoded-blacklist, packagekit-refine, generic-updates, desktop-menu-path, steam, snap, provenance, packagekit-history, provenance-license, icons, key-colors, key-colors-metadata May 20 22:11:27 ada gnome-software[1864]: disabled plugins: dummy, repos, dpkg, epiphany May 20 22:11:28 ada dbus-daemon[633]: [system] Activating via systemd: service name='org.freedesktop.fwupd' unit='fwupd.service' requested by ':1.69' (uid=1000 pid=1864 comm="/usr/bin/gnome-software --gapplication-service " label="unconfined") May 20 22:11:28 ada systemd[1]: Starting Firmware update daemon... May 20 22:11:28 ada fwupd[1887]: disabling plugin because: failed to startup dell: Firmware updating not supported May 20 22:11:28 ada fwupd[1887]: disabling plugin because: failed to startup uefi: UEFI firmware updating not supported May 20 22:11:28 ada fwupd[1887]: disabling plugin because: failed to coldplug amt: Unable to find a ME interface May 20 22:11:28 ada fwupd[1887]: disabling plugin because: failed to coldplug thunderbolt_power: No support for force power via kernel or bolt May 20 22:11:28 ada fwupd[1887]: disabling plugin because: failed to coldplug synapticsmst: MST firmware updating not supported by OEM May 20 22:11:28 ada fwupd[1887]: using plugins: unifying, ebitdo, steelseries, thunderbolt, colorhug, udev, upower, altos, wacomhid, dfu, nitrokey, csr May 20 22:11:28 ada fwupd[1887]: Daemon ready for requests May 20 22:11:29 ada dbus-daemon[633]: [system] Successfully activated service 'org.freedesktop.fwupd' May 20 22:11:29 ada systemd[1]: Started Firmware update daemon. May 20 22:11:30 ada PackageKit: get-updates transaction /206_bcbdaaac
Re: Introducing myself
Hi Jakob! I didn't want to be the first one, but welcome and congratulations :) I am a former Outreachy intern, and my experience with Guix folks was great,. I'm sure you will learn and enjoy a lot your internship. Regards :) Laura
Re: Video narration
Hi! > Yes. I think that the total duration of each cli session is now good. > However, there may be improvements in a few places to further > synchronize the narration with the screen output. > > For example, if a particular output is displayed slightly ahead of the > narration one could add some extra sleep before the section and remove > the same amount after. > > That way the total duration, of each session, will stay the same. Great! It was what I understood but wanted to check it :) Regards :) Laura
Re: Video narration
Hi Paul! On Wed, May 8, 2019 at 8:14 PM Paul Garlick wrote: > > Hi Laura, > > > Now I am generating all the videos and will be pushing the changes > > asap. > > Great stuff. > > I have made a start, setting the durations for the first three videos. > If you pull the changes you can check the inner timings as well. The > sum of the sleep commands should now be correct for these videos. > > I plan to finish the coarse level sleep settings for the remaining > videos in the next few days. Oh, I was working on the timing of the cli session files too, after pulling I see the only one that needs to be finished is 04-packaging3. Would you like me to adjust it? I will be also testing the previous ones to check everything is fine :) Gábor, is your client still offering their storage to upload the videos there so that the community can see them, give their opinion and so on without having to spend time generating them? Regards :) Laura
Re: Video narration
Hi! > Great. These are the same, my timings expressed in seconds yours in > minutes and seconds. Oh, didn't notice that. > So we should be able to finish from here without major obstacles. > However, I suspect that the cli timings that you did previously will > need to be re-checked as we will now be using the accurate 'sleep' > command. Yes, I checked the 02-daily-use1 and now I get what you mean about the timings. I tested it with firefox and everything -except the cli session file's timing- seems to work :) Now I am generating all the videos and will be pushing the changes asap. Regards! Laura
Re: Video narration
Hi Paul! > I have implemented the repeat procedure and pushed the commit to the > repository. > > > I definitely HAVE TO learn Guile. > > This is a good example. > > There is some arithmetic needed to convert the sleep durations, in > milliseconds, to frames, using the frame rate. If you have seen > reverse polish notation before you will recognise the way the > arithmetic expressions are built up. > > The function comes first and the arguments afterwards. So (/ wait > 1000), for example, means divide the variable 'wait' by one thousand. > > The repeat procedure uses a 'named let' for recursion. This calls the > snap! procedure the correct number of times to generate the extra > frames. > > The slightly tricky part was making sure that the snap! procedure and > the repeat procedure are in the same scope. Otherwise, an 'unbound > variable' error is generated. I was able to do this by moving the > repeat procedure, plus the other procedures that are needed for > processing the session files, inside the same let construct in the main > body. Thanks for your explanation, I did a tutorial and I will be playing with Guile <3 > > To test I used the firstCli session file from 02-daily-use1. I changed > the last line from '#:sleep 3' to '#:sleep 4'. The time > durations were: > > before: 78.408000 > after: 88.408000 My good news are that I get the 10 secs difference, the bad ones that the timing is different: 00:01:18.40800 and 00:01:28.40700 Any clue? Regards! Laura
Re: Guix 1.0.0 on VirtualBox on Ubuntu 16.04
Hi Peter! On Sat, 4 May 2019, 10:19 Peter Faller, wrote: > Hi - > > My first attempt to install Guix failed - sorry, I don't have details, but > I think it may have had something to do with selecting too many window > managers. So I tried again, selecting only GNOME. > Did you delete the VM and started al over again or just reconfigured? > The installation appeared to work (no obvious errors), but the graphical > login failed for both root and my user account. Logging in via Ctrl-Alt-F1 > to a console worked, but no commands were available - not even 'ls' or > 'cd'. I could run some commands by typing in the full, long, > 'profile...' command name; but there's something seriously wrong with > having to do that. > > I couldn't find an installation log that might be helpful; but if there is > such a thing that might be useful for troubleshooting, let me know. > I run virtualbox too because it was the first one I learnt but for the distro I suggest using qemu. I have also an Ubuntu host and after struggling for a week (because the tool was new to me) I made it work. Regards! Laura
Re: GNU Guix 1.0.0 released
Congratulations :)
Re: Video narration
Hi Paul! > Thank you for testing. The results are different from my system. You are welcome :) I like testing (and trying to break) stuff - I wished this worked well though :/ > > I think we are seeing a difference between wall-clock time and cpu > time. In the screen file I can see there is a snap! procedure that > writes a frame to disk after each interval. It looks as if the disk > i/o is interrupting the sleep counter and introducing a delay that > depends on the system activity. > > We may need to change tack to get accurate time delays. One thought is > to replace the timer with a 'repeat' procedure that repeats the > previous frame. If we know the sleep duration, s, and the interval, i, > we can calculate the number of repeats, N, needed: > > N = s / i > > This method would be unaffected by disk write times or rounding errors. I understand the issue. I definitely HAVE TO learn Guile. During the internship -and now- I am able to understand what the code is doing and change it a little bit, or set the configuration of the distro for instance, but I don't know to write from scratch :/ While writing this I am opening a tutorial :) Regards :) Laura
Re: Video narration
Hi Paul :) I ran made the videos for 02dalyuse1 with the cli session files untouched, using the new screen script. Then I added :#sleep 1 in the end of each cli file and got weird timings :$ firstCli originally gives me a length of 00:01:54.84700 Then, adding the sleep metacommand I get 00:02:18.24800 As regards secondCli, originally: 00:00:59.60800 And adding the sleep metacommand: 00:01:11.64800 Hope this helps. Regards! Laura
Re: Video narration
Hi Paul! > In my case I was noticing erratic intervals produced by the sleep > commands. So '#:sleep 1000' gave a 6 s pause and '#:sleep 13000' gave > a 26 s pause, for example. After the changes the commands produce the > expected results I am creating the videos with the cli session as it was, and then adding extra silence. Will write back to let you know my results asap they finish :) Currently I changed the cli sessions for dailyuse1 Regards! Laura
Re: Video narration
Hi! > It would be great if you can test the accuracy on your system too. If > you add '#:sleep 1' to one of the session files, for example, does > it make the cli video 10 seconds longer? With the new changes, right? Regards! Laura
Re: Video narration
Hi Paul! > Working on the timings for 02-daily-use1 I have found that I have > needed to make a couple of changes to the 'hesitate' procedure in the > screen script. I have been finding that the pause introduced by the > sleep command is not accurate, making it difficult to set the right > values in the sessions files. > > I wonder whether you have noticed the same effect? I didn't, but I have to admit that my timing was kind of homemade, I tried to match the audio with the video as exact as possible. > > To improve the accuracy I have changed the procedure definition to use > a scaling factor of one thousand, to go from milliseconds to > microseconds, and have increased the chunk size to 2 ms. The Guile > documentation for usleep notes that many systems round the interval > specified up or down and are unable to achieve accuracy to the > microsecond level. > > After some testing on the system I am using to build the videos I found > that 2 ms was the optimum value. With this value '#:sleep 3', for > example, produces a pause of 30 s. > > I will commit the change so that you can test it too. If we keep the > change it will mean re-checking the timings in the session files. > However, I think that this will be necessary to make the adjustments in > the total durations for Firefox. I see. I was testing with the current screen file. Please, let me know when you push the changes so that I make all the videos again and adjust what is necessary. And thank you for helping with this :) I am really amazed at how much you know! Regards :) Laura
Re: Video narration
Hi! :) On Fri, Apr 26, 2019 at 7:01 PM Paul Garlick wrote: > > Hi Laura and All, > > I have determined the cause of the playback problems with Firefox and > pushed a fix to the videos.git repository. Great :) > > Essentially, a limitation of the treatment of opus audio streams in > Firefox means that videos with gaps in the audio stream are not played > properly. > > There were two parts to the fix. First, the audio streams need to be > padded with silence to match the duration of the video streams. Then, > the concatenation of the audio streams needs to be done separately from > the video streams. The two streams are the same duration and may be > joined without re-encoding. > > A consequence of the new approach is that the cli sessions need to be > checked to ensure that the duration of the video streams are (slightly) > longer than the audio streams. Otherwise, the audio streams will be > truncated. > > I have made a start with the 01-installation-from-script video. I am > using Firefox version 66.0.3 to test. Ok I will go on with the followings then! > > Can others confirm that the new method works with their browsers and > players? Sure :) Regards :) Laura
Re: Translation of the Guix manual & node names
Hi! I'm always late :S Do you need help with the Spanish translations? Kind regards :) Laura
Re: Video narration
Hi Paul! > This plays at the right speed for me in Videos/Totem (version 3.26). Don't know what happened. I deleted all the videos and made them again and now I don't see that issue anymore. > > duration1 (video stream): 1 minute 29 seconds > duration2 (audio stream): 1 minute 18 seconds > > This difference may be treated in a different manner by different > players. It may be necessary to add silence to the audio stream to > equalize the durations and allow reliable concatenation without re- > encoding. For this, what I could do is generate the cli sesison video with the "silence1.mp3" to have duration1, and then compare it with the duration of cli1.mp3 (for instance). Then, run a script comparing the durations while duration2 < duration1 append silence1.mp3 to cli1.mp3. And finally use the generated cli1.mp3 as the input matching the video stream. I find a little bit manual, but I don't mind doing it if you find it OK. WDYT? Regards :) Laura
Re: Video narration
Hi everybody! These days I will be migrating my VM since I am running out of space, so sorry for the delay :/ I am testing right now. > Commit 4bd2e78b893fef5ce1f12bec895ee8234cabaf1f fixes the colors. > ffmpeg needed a different pixel format to set the chroma subsampling > correctly [1]. > > I have been able to play the newly built cli and nocli videos in > Firefox. Also, the combined video now starts in Firefox but stops just > before the first transition. I think the concatenation step in the > Makefile could be the cause. The same happens to me with Firefox. Now, as regards the colours, it works with totem too :) But the cli sessions are at kind of super speed now, it happens watching the full video, or the separate cli session videos. I've tried it with totem, mvp and vlc. Any clue about it? Regards :) Laura
Re: Video narration
Hi Paul! Sorry, I've got up to date with this. > Is Firefox the browser you are testing with? Yes, I tested both with Firefox and Icecat and get the same message, that it is corrupt :/ You mentioned you tried totem, right? In my case it runs and I can watch the video but the colours are changed. Ie: the dark gray turns green, and the white turns somewhat pink. I only tested the first video. I have a question about the Makefile. Why are we having an if in the ffmpeg rule regarding the soundname being empty? > What I was thinking was that the cli sessions should end with a short > pause. This will be the case as long as either duration1 is greater > than duration2 or the audio file has a silent section at the end. > > If any of the transitions are too abrupt we can add some silence to the > relevant audio file. The command I used for the silent slide in 02- > daily-use2 was: > > $ ffmpeg -f lavfi -i anullsrc=r=4800:cl=mono -t -q:a 9 -c:a > libmp3lame .mp3 > > This creates an mp3 file with seconds of silence. > > So a one second pause, say, could be concatenated (with ffmpeg) at the > beginning or end of an audio file to improve the transition. I see, then we can create a script for this, that runs before the script for creating the cli session videos, WDYT? I am really amazed about how much you know about audio and video creation :) I have a question, what happens when duration2 > duration1? > > Best regards, > > Paul. > > >
Re: Video narration
Hi Paul! Sorry fot the delay. > I have been able to match the aspect ratio of the cli videos to the > nocli videos. With ffmpeg there is a filtergraph that can be added to > pad the images. The result is a smooth transition between the two > types. There is no longer flickering or crashing in the players I have > tested. Can you tell me which players work for you? I tried with my browser and it still tells me that the file is corrupt :/ > > The fix is commit 7c5db139081c37cbd4896628e38f5bff8dc5427e. > Great. One thought I had on the timing of the cli videos is that there > are two durations at work. Firstly, the frame rate and the number of > frames: > > duration1 (in seconds) = number of frames x 25 > > Secondly, there is the duration of the audio file (duration2). > > Should we check that duration1 approximately equals duration2? Or > possibly the audio file should always be slightly shorter than the > duration of the frame display. > > WDYT? I didn't notice this. Is it possible to make the audio shorter than the first duration? Regards :) Laura
Re: Video narration
Hi Paul :) O is fixed in commit > 7180fff4ecb46cfed41c6214579a53af6a636a21. > > The new frame rate is 25 fps. This is the European standard for PAL/HD > video. > > The file sizes are not dramatically affected by the change. The first > video is reduced in size from 11MB to 10 MB, for example. Thank you so much for fixing this. It was in my TODO list, but it is GREAT and if you can share your knowledge we can work and make the videos available asap :) I will go back tomorrow with fixing the timing, sorry for the delay :( Regards :) Laura
Re: Video narration
Hi Paul! > I have pushed all of the new audio recordings to guix/videos.git. Yeah :) I saw them, that is why I didn't answer back, was planning to see the matching of the other these days :) > There were two extra svg images needed (for 02-daily-use2 and 04- > packaging1) to match up with the audio. I have added templates for > them. I haven't created them yet, but will. For the audios? That is weird, they take the duration of the audio for their duration :/ > Was there a reason for the difference? My honest answer is: i don't know. If you like the project, I am not an intern anymore. I will go on contributing, but you are really more than welcome if you have video and audio knowledge that you can share :). I would love to see the videos uploaded <3 Regards :) Laura
Re: Video narration
Hi! > I had help from a sound engineer who is familiar with the microphone > set-up and the recording process. > GREAT! > > > For the cli sessions we used the timings in your recordings as a guide > to synchronize my voice with the screen. I notice that there are > 'sleep' commands in the session files so it might be possible to fine- > tune the timing if necessary. Yes! I am working on them to have the best match we can :) Regards :) Laura
Re: Video narration
Hi Paul! > Thank you for uploading the cli audios for the packaging3 video. That > completes the set! Yeah! > > I will be going to the studio in half an hour (11.00am UTC). They have > a space with low background noise. However, I will ask for a short > 'silence' recording too, so that we can use it for joining sections if > we need to. Great! :) Let me know when you have time to push them - no rush, just to test :) - Regards :) Laura
Re: Video narration
Hi :) > Sorry, I am late to the party. To clarify things, the following is > happening here: > 1. at first guix is built from source, in a guix environment guix > 2. the package is added > 3. the package build is tested using pre-inst-env guix build package > > So, the environment is not for r-aspi, but to get to the exact environment > where > the pre-inst-env was built, so the third step is reproducible. > > Does that make sense? Yes, that was the way I packaged and what was trying to explain, and asked the others in case I was wrong. Regards :) Laura
Re: Video narration
Hi Paul! > I have finished updating the transcripts and I am preparing to do the > recordings tomorrow. Great! Could you remind me in UTC at which time of the day? Because I generally have to record them at 00 UTC to reduce the environmental noise. And then match them. > > One question about the makefile: am I right in thinking that the > makefile automatically adjusts the duration of each slide according to > the duration of the corresponding audio file? In other words it would > not matter if I supply audio files that are slightly longer (or > shorter) than your originals? Yes, the slides videos take the duration of the audio file. And the cli session videos, let me check, but they are easier in terms that you have to say what is said during while listening to the audio, to match the command. > > > Shouldn't the 'guix environment' step be later in the list of steps? > > If I was packaging the aspi package I would do: > > > > $ guix environment --pure r-aspi > > The environment was set up in the first packaging video. As far as I > > am concerned, the idea is to have a clean guix environment and > > package > > everything there. If you are using a foreign distro then I believe > > that it could not be reproducible if you package it first. > > Please, let the others correct me if I am wrong. > > I think that this question has to do with the complexity of the > package. The aspi example is a simple case that does not have any > dependencies outside the R build system. For a more complex package > (newPackage, for example) using: > > $ guix environment --pure guix > $ guix build newPackage > > would fail if newPackage has extra inputs. Instead, the commands > should be: > > $ guix environment --pure newPackage > $ guix build newPackage > > I think this would be easy to communicate to new users if steps 1 and 2 > are switched on Slide 2 and I add some extra words to the transcript. > > Do you (and others) agree? When I packaged, I did it the other way, and my mentors approved them. Recall that you are "touching" .scm files from your the guix you have installed if you do it the other way around. But if the others can shed some light it would be great. In case I am wrong, I would need to change not only the slides but also the cli sessions :/. In that case, could you reschedule the day for the recordings? Regards :) Laura
Re: Video narration
Hi Paul! > I am 4/7ths of the way through the transcripts :) Great! I am recording the audios in the late evening to have the less environmental noise as possible. > > On the latest one , 02-daily-use2, line 9, there is the URL: > > https://audio.video.gnu.org/guix/everyday-use-part1.webm > > Is this correct? The output in the videos subdirectory is '02-daily- > use1.webm' Yes, maybe we should change the subdirectory name (and final video), but it would be just renaming them. Regards :) Laura
Re: Video narration
Hi Paul! > I have found that the flickering is caused by the change in aspect > ratio as the video moves from the slide view to the screen view (and > back). Parole and Videos have a default 'Auto' setting for aspect > ratio that re-sets the aspect ratio during playback. If I change to a > constant aspect ratio (4:3, for example) the flickering stops. Great thank you! > > Is this something that you could look into? Sure! But I am struggling with finishing the audios now. I have just pushed the cli sessions for the first video. Believe me that they take long. Promise to check this after that. Regards and thank you for your finding :) Laura
Re: Video narration
Hi :) Sorry for my late response today, have just arrived home. > Yes, sounds a good plan. I will aim to work through the videos to > build each one, then listen to the playback and then edit the > transcript at a rate of one-per-day this week. That should mean > finishing them all by the end of this week. > > If you can do the cli sessions as well that would fit in perfectly. I > have put back the recording session to next Tuesday 2nd April so that > there is a little more time to get everything finished. SGTM, hope I can have all the cli sessions with sound, like I said, they take much longer and sometimes it is mixing, arranging cli file, mixing again, arranging and so on. > > The question about flickering could take some investigation. Do we > know yet whether this is consistent across all players? or are there > examples where flickering does not happen? With VLC and mpv they are fine. Please, try them ant let us know :) > > If others could test with their own players that may give us a clue. Sure, as many players, the better. > > One other suggestion was to check the codecs. Do the slides and the > cli sessions use the same codec? I don't want to give wrong information, I don't remember now :/ I'd rather do the recordings this week (at least me). Regards :) Laura
Re: Video narration
Hi :) Sorry Gábor for not asking all of you, noticed were ccd's after sending the mail. Miss having both of you as mentors :/ > I believe if the timing is not disturbed to much by this, then the narration > and > fixing the video can go on in parallel. Wdyt? It's true, they are separate things. I would like to have the final transcripts to work on the audios of the CLI videos, they really take time and sometimes I have to adjust the input file timings, and that kind of stuff. And I guess Paul mentioned that was going to record them this week. They are really handmade, that was why I was asking maybe what to see first. Then, maybe even other people of the community that might be interested in the videos, could join us to see what is going wrong, suggest ideas, and so on. Like Paul that offered their voice. WDYT? Regards :) Laura
Re: Video narration
Hi Paul and Ricardo > Have you seen this too? We have been using mpv and VLC, don't know, Ricardo, WDYT? should we fix this or go on with the narration? I have just thought, may you see the transcripts of all the videos, and arrange them if you find a better way of saying things in native English, and then I record the CLI session videos and create subtitles for them? Do you find this workflow fine? Regards :) Laura
Re: Video narration
Hi Paul! > I have updated the transcript for the 03-help video and the changes are > ready to view in the repo. This is GREAT!!! :) > > Next I have built the 01-installation-from-script video. I notice that > there is no sound for the cli sessions. Will you adding transcripts > for these? Yes, this is what I was trying to explain. They have no sound because it is quite difficult matching. I will try to add sound, but it can take longer for me, since I have to record each sentence and match it with what is happening in the cli session (I guess I mentioned somewhere that for adding sound to the Guix Days demo I spent three days, but now, I can do it with more time, I don't have to rush to create new ones. ) > > Also, there is a brief flicker in the transition from slide view to > screen view. Can anything be done about that? Which player are you using? Regards :) Laura
Re: Video narration
Hi! > Excellent! Yeah! That's really GREAT! And I git pulled without any issue :), thank you! And let me know how we can do with the cli session videos, since they don't have a reference. > > @Laura, Are the texts for the narrations already finalized? I don’t > remember if they have been discussed here on guix-devel. Ideally this > would happen before recording ;) Hi transcript changer ;). I don't remember which transcripts have been discussed. I believe I only did so with my mentors, sending the full videos to them. People can make all the videos from the repo, there they can find everything, they can create the videos as well as find the transcripts. I don't see the point in sending only the transcripts, since they have to watch the video like to match it. And they have my voice like a reference. What we agreed with my mentors and I guess with you too was that the open discussion was about the video and its content, then, after the deadline for that, I created the video, transcript, everything, and sent it to them, because we were not going to have enough time to create videos at all. Gábor has a client that allows us to upload videos already created, but they were going to be uploaded there after the recordings I guess, and only for the community, so that they could watch them. And when approved, have them online on the site. Was it like that or I misunderstood sth? Regards :) Laura
Re: Video narration
Hi Paul! I have just pushed the last video. Please, let me know if everything is fine. Regards :) Laura
Re: Video narration
Hi Paul ;) > Thank you. I will also check through the transcripts and make any > slight changes needed to make the narration more-natural-for-me to > speak. I will be careful not to alter the timings or meanings. Thank you. The transcripts have a timing as an idea, but speak spontaneously, like you normally do. And of course you are welcome to make changes to sound more natural :) I will start git pulling before making some comments. > Also, I will have more information on Wednesday about the time slots > available for the recording process. Please, let me know whatever information you need and also that you can share. And sorry for the delay. My recording process is difficult: I use my headsets in my phone, try to avoid environmental noise as much as possible, then I put it on my computer and change the format to mp3. Tried Audacity but my recording sounds horrible. Regards :) Laura PS: please git pull because I go on adding/updating stuff :)
Re: Video narration
HI Paul! I have realized that I have a typo and have to make a minor change in 04-packaging2, that will affect the audio and of course the transcript. Just wanted to let you know. Will push it ASAP. Regards :) Laura
Re: Guix slide video creation
Hi Brant! > Thanks for sharing your git repo with your video assembly code, that was a fun > read. I'm working (very lightly) on helping build the occasional guix package > as time permits and I'd be greatly interested to see your final generated > videos - are they published anywhere yet? What a surprise, I am very happy to have received this email :) I am ccing it to the community so that they know about it :) No, they are not published yet, I wish they were, but I am a perfectionist and have to discuss stuff with the community yet. i Did you like them? Getting feedback is very nice, even if there is constructive criticism to know what to improve. Thank you very much! Regards :) Laura
Re: Video narration
Hi Paul! > This generates 03-help.webm which I can play with Parole, for example. > Very nice work! Thank you and great! We have another player that plays our videos fine :) > I can see that there is an 'audios' subdirectory with one audio file > per svg file. So my task, if I understand correctly, is to move > 'audios' to 'audios_laura' and create a new 'audios' subdirectory with > new audio files and then re-build. Exactly, The makefile will look for each audio in an audios subdir, so moving my audios subdir to audios_laura or will make it look for your audios instead of mine's. And Sth important is to have them named 1.mp3 (or the format that is better), 2.mp3 so that it matches the slide name. > > On the question of total speaking time, 03-help.webm is about 4 minutes > long. There are six videos, so is 6x4=24mins a reasonable estimate of > the total speaking time? You mean the timing of the total number of final vidoes, right? I still have to upload the last part of the last one, will test sth and do it in a minute. But most videos are about 3-4 minutes length. So your estimate time should be right. In fact you will see that some of them have the number of video duplicated because if not they would last too long. > > Also, are the transcripts available for all the videos? I will need > these before I go in to do the recordings. Yes :) if you go, to videos//, ie videos/03-help/ you should find a file named transcriptHelp.txt with which is said. If not, let me know because these transcripts should appear for each video. Regards :) Laura
Re: Blog post on documentation video creation
Bonjour Ludo (and Guix :)) > Thank you, Laura! No, thank you for encouraging me to give the talk and publish my post :) Regards :) Laura
Re: Request for commit access
Hi Alex! > Hope it help :) Thank you very much! I have it installed but did not have headsets by that time, ended up recording them the hard way. Regards :) Laura
Re: Request for commit access
Hi Paul :) > I am looking forward to viewing the videos after I have cloned the > repository as a member. Initially, I am not planning to make any > changes, just to make an estimate of the total speaking time. I more or less added what it took to me, but when you record even a draft because of the format, that would be the "real timing". I guess I told you but the only parts in which I did not record the audios was in the cli session videos. Now that I have a headset and the environmental noice is reduced quite a lot, I could try to add my voice to them, WDYT Guix? But for the slide videos, my voice and the transcript are enough for a reference :) Regards :) Laura
Re: Request for commit access
> I will use the attached OpenPGP subkey for signing commits. Great! Please, write to me to see how to improve the audios - appart from haivng your native accent :) Regards :) Laura
Re: Guix pronunciation
Bonjour Ludo! :) > Should we write this more prominently somewhere? Probably! :-) Thank you for the explanation, I guess I read the first link before from somewhere, but what I was asking was if since people are discussing if the name is appropriate, maybe the Guile + Nix could be added, like "it is pronounced like geeks, but it comes from..." Maybe, in those cultures where a geek is seen badly or may be seen not professional, or could make people not become a contributor - here I come promoting ;) - or whatever, know how to pronounce it but where it comes from too. IMHO I also agree it is a good Idea adding the similarities and differences. Regards :) Laura
Re: Guix pronunciation
> Now I'm wondering how to pronounce Guile... :D Don't know if you are kidding ;), but even not being a native English speaker it was quite obvious for me :) Or I ponounce it badly, don't know. Regards :)
Re: Guix pronunciation
Hi again! Yes someone misses her community ;) > As for those wondering why: “Guix” is initially just the contraction of > Guile + Nix. Thank you for the explanation. The person I met interested in at least playing whith Guix told me that was thinking of both Guix and Nix, and I was asked before about the differences. Is it in the manual? Because I don't remember reading it. Maybe it could be added, before the pronunciation, WDYT? Regards with mate :) Laura
Re: Guix pronunciation
Hi! > Also where I live, in South America, in the Aburrá Valley, The term > "geek" is used in its English form by some people to describe themselves > as people who are very interested in technology and its specifics. Another South American :) As regards the name, I have always pronounced it like geeks without even realizing the same pronunciation until I read it. I think it is a nice name, and I agree that people here use the word not in a negative form, a geek is a person that is a huge fan of technology, I don't feel it is bad, it is not offensive for me at all, or unprofessional, but if I had not read that, I would have never associated it. Maybe you should remove the footnote :) Regards :)
Re: Video narration
Hi! > Sure. Can you give me a few more details about what is required: Oh, that is really great, thank you very much :) > i) how many videos are there? Up to now, six (I have to upload the last one). But we can try with 03-help. If you want, you can build them by cloning git.savannah.gnu.org/git/guix/videos.git. > ii) are there two types of video, one for command line sessions and one > for slides? Yes! The slide videos are really easy, there is a transcript and I home-made recorded the audios to help. It is just reading the transcript. For the command line session videos, it is more difficult, since the timing is not that exact. In the latter case, I will create the audios too, I did not do it during my internship because creating the video for Guix days took me like three days for matching the audio with the commands and I was not going to be able to create new ones.I don't know which audio format we will need, maybe someone else could help with that. In the repo, maybe we could try with 03-help that has no cli session videos. We could rename my audio files directory to have it like a reference,and you could add them to the audios subdir. We can give it a try with just one, there is a wip-README but basically you have to run ./build-video, sh 03-help and just wait. If everything goes well then go on with the following ones. To watch them, they work fine with mpv and VLC players. After we have them working, they will be available in a VM for the community to watch them and give their suggestions, bugs, and so on, so that they don't have to build the videos. And when we have our final version, they will be officially uploaded. > iii) how big are the files? Do you mean the audio or the video ones? I have just built the 03-help and the final video weights about 18 Mb. Regards, and again, thank you for helping with this :) Laura
Video narration
Hi Paul! How are you? I just wanted to ask you if you are still interested in contributing being the narrator of our videos. They have my voice now, and a transcript. Of course that I will mention the timing, and arrange the subtitles for the command line session videos, so that you just have to speak. For the slide videos there is no problem, it is just saying what the transcript says and the video will adapt to your timing. Please, let me know if you can/want to do it, or if we should ask someone else :) Regards :) Laura
Re: A potential user is asking me about the videos to learn Guix
Hi former mentor :) - sounds weird :/ > > I am writing to the whole list so that all the community can tell me > > what I should answer. > > I've just talked to my client, and we will spin up a VM with 10G stroge for > the > temporary files tomorrow. Until this is done, you could upload the > final videos to ipfs, and > also the parts for the narrators. I will tell them that we are still creating them, that we have a first version in kind of a beta phase. I don't know if they will know how to use ipfs. Or I could mention both, that we are still creating them and that they could watch what we've got with IPFS. Do you agree? > Wdyt? Great! I will write Paul for the narrations to see if he is interested. Remember that tomorrow I will be out of town cause I am travelling to the course I am taking, and I have to study some material they sent us. And will give a talk telling about Outreachy and Guix -promoting it as usual ;) - I know that I am not an intern anymore ;) but I really want the videos to be online and let people watch them. And next week when I come back I will be writing our TODO list - let me know where to share it - reviewing all the emails. And for the whole community: if you would like to contribute with the videos, you are welcome to help :) Regards :) Laura
A potential user is asking me about the videos to learn Guix
Hi Guix! (Sorry Gábor, Björn, Ludo and Ricardo for the CC) Since I've been answering questions on my Twitter account about Outreachy, there is a person asking me where to find the videos, for using - and who knows, joining ;), you can't deny I am a great promoter of the project - Guix Would you like me to tell them that we are still creating them and give them the URL so that they can make them running the scripts?. They don't have the narrator, but they have my voice. I can tell them to watch them with VLC. WDYT? I am writing to the whole list so that all the community can tell me what I should answer. Regards :) Laura
Re: [video repo] when making videos inside container images break
Hi! > I tried adding it to the container, and it seems to be working fine here. I've been working on the wrong file (the environment.sh) and could not get why it still didn't work. Fixed the script and now will be pushing the remaining videos. Thanks for the explanation :) Regards > > > > Best regards, > > > g_bor > > Best regards, > g_bor
Re: [video repo] when making videos inside container images break
> You can go ahead with that. I am busy here tracing down this bug. > I got strace for both of inside and outside the container, and it seems > that in the container the wrong pixbuf loader is picked up, namely xmp > instead of png. Sorry, so if you make the video "the hard way" -video by video and gluing-, the issue disappears? it has to do with the cointainer then? > > Best regards, > g_bor
Re: [video repo] when making videos inside container images break
Sorry, I realized that the second part of the packaging video has the same issue. May I upload the pictures in a separate directory inside the videos facing this issue, so that people can have them if they want to, and it to the README (ie: 03-help and 04-packaging2 are facing issues with embedded images, they are stored temporarily in an image subdir until the bug is solved). WDTY?
[video repo] when making videos inside container images break
Hi! I am testing the videos to go on adding them to the videos repo, but I am facing an issue that does not happen in my local private repo or machine. Even though I add images embedded and not linked to inkscape, when I create a video inside the container, instead of showing the picture it says "linked image not found" Do you have any idea why this is happening? Thank you :) Laura
Re: Guix video repository: First video script commited
Hi Guix! Have just pulled the second part of daily use video. Feel free to test it :) As regards the first part, please, try it too. I guess I made a mistake, but maybe it is just in the commit message. All feedback is welcome :) Regards :) Laura.
Re: Guix video repository: First video script commited
Hi! Thank you very much for your feedback. I have just pushed the first part of the second video. May someone test it and give feedback too? Regards :) Laura
Re: Guix video repository: First video script commited
Hi! > No you are right, my bad. It seems it really won't mix. That's great. Yeah :) One thing less that we have to solve ;) I updated the README, just to let people know how to run it for now. It quite awful, but I hope it helps the community understand how to run the scipts. Regards :) Laura