Re: BPF in linux-libre
Thanks Mathieu, I’ll take a look in a few weeks if you can’t figure it out. I’m probably going to take a quick break from bpf for a couple weeks as I have become extremely busy. Thanks for your help. Oh also I discussed issues I was having on the bpftrace irc and they pointed me to this pull request which specifies all the dependencies and their configurations. Maybe we can learn something from it: https://github.com/iovisor/bpftrace/pull/1095 - John
Re: Repair / reinstall Guix package manager (foreign distro)
Zelphir Kaltstahl writes: > Hi Guix Users! > > I would like to repair or reinstall my Guix package manager > installation, because it seems broken and nothing I tried fixes the problem. > > The problem: > > > xiaolong@xlx200:~/Downloads$ guix pull > Migrating profile generations to '/var/guix/profiles/per-user/xiaolong'... > guix pull: error: symlink: File exists: > "/var/guix/profiles/per-user/xiaolong/current-guix" > > > It started appearing, when I once ran `guix pull` and `guix package -u` > as `root` user, to update my locales in the root profile. This can happen if you become root by any other method than 'sudo -i' or 'su -', because the root shell will otherwise inherit variables such as $HOME, leading to this problem. [...] > > xiaolong@xlx200:~/Downloads$ guix pull > Migrating profile generations to '/var/guix/profiles/per-user/xiaolong'... > Updating channel 'guix' from Git repository at > 'https://git.savannah.gnu.org/git/guix.git'... > guix pull: error: Git error: failed open - > '/home/xiaolong/.cache/guix/checkouts/pjmkglp4t7znuugeurpurzikxq3tnlaywmisyr27shj7apsnalwq/.git/FETCH_HEAD' > is locked: Permission denied > You can fix this by either deleting the directory, or sudo chown -R xiaolong:xiaolong /home/xiaolong/.cache/guix/checkouts/pjmkglp4t7znuugeurpurzikxq3tnlaywmisyr27shj7apsnalwq Similarly, chowning or deleting /var/guix-profiles/per-user/xiaolong is the only way to fix the permissions issue on the profile. [...] > So I a basically giving up now and want to reinstall. I downloaded the > install script `guix-install.sh` from the website and ran it: > > > xiaolong@xlx200:~/Downloads$ sudo bash guix-install.sh > > (... big GUIX logo here ...) > > This script installs GNU Guix on your system > > https://www.gnu.org/software/guix/ > Press return to continue... > [1593338927.330]: Starting installation (So 28. Jun 12:08:47 CEST 2020) > [1593338927.333]: [ PASS ] verification of required commands completed > [1593338927.364]: [ INFO ] init system is: systemd > [1593338927.368]: [ INFO ] system is x86_64-linux > [1593338928.075]: [ PASS ] Release for your system: > guix-binary-1.1.0.x86_64-linux > [1593338928.077]: [ INFO ] Downloading Guix release archive > guix-binary-1.1.0.x86_64 100%[==>] 70,14M > 4,27MB/sin 21s > guix-binary-1.1.0.x86_64 100%[==>] 833 > --.-KB/sin 0s > [1593338949.457]: [ PASS ] download completed. > [1593338950.341]: [ PASS ] Signature is valid. > [1593338959.807]: [ PASS ] unpacked archive > [1593338959.808]: [ FAIL ] A previous Guix installation was found. Refusing > to overwrite. > > > "OK OK! I'll uninstall the previous one!" > > But how do I do it exactly? Or is there a flag or anything I can give to > make it overwrite the previous installation? Reinstalling still won't fix the permissions on your ~/.cache/guix/checkouts. But to eradicate Guix and let the script do its thing you should 'sudo rm -rf /var/guix /gnu'. Hope this helps! signature.asc Description: PGP signature
Re: Repair / reinstall Guix package manager (foreign distro)
There has been some issues with getting the symlinks ~/.guix-profile and ~/.config/guix/current right on a foreign distro for me and some other users, but Im not sure whether this is a Guix problem, or a misunderstanding by the users. A good explanation of guix profiles is here: https://unix.stackexchange.com/questions/561093/what-is-the-difference-between-guix-profile-and-config-guix-current and also make sure to read about the guix pull -p option. After that I think you can fix your problem by fixing the symlinks. Reg reinstall if you wont just fix the symlinks, deleting /gnu/store and /var/guix, along with any profiles such as ~/.guix-profile and ~/.config/guix/ folders I think is enough to begin a reinstall (possibly also /etc/guix/profiles/config.scm or similar if they exist - but not sure). Having a reinstall options or similar for guix-install.sh would be nice, but I dont think it exists (btw. it shouldn't be too hard to check the bash source for this and see if it exists or not). Best regards, David On 2020-06-28 10:22, Zelphir Kaltstahl wrote: Hi Guix Users! I would like to repair or reinstall my Guix package manager installation, because it seems broken and nothing I tried fixes the problem. The problem: xiaolong@xlx200:~/Downloads$ guix pull Migrating profile generations to '/var/guix/profiles/per-user/xiaolong'... guix pull: error: symlink: File exists: "/var/guix/profiles/per-user/xiaolong/current-guix" It started appearing, when I once ran `guix pull` and `guix package -u` as `root` user, to update my locales in the root profile. Now I can only do a `guix pull` as `root` user, no longer as normal user. I've tried deleting the symlink, thinking: "Well if the error is, that a file exists in that place, it probably wants to write there and refuses to overwrite. I'll delete it for you then." That results in another error: xiaolong@xlx200:~/Downloads$ guix pull Migrating profile generations to '/var/guix/profiles/per-user/xiaolong'... Updating channel 'guix' from Git repository at 'https://git.savannah.gnu.org/git/guix.git'... guix pull: error: Git error: failed open - '/home/xiaolong/.cache/guix/checkouts/pjmkglp4t7znuugeurpurzikxq3tnlaywmisyr27shj7apsnalwq/.git/FETCH_HEAD' is locked: Permission denied I can get it back to previous state by running `guix pull` as `root` user again, but it does not fix the original problem then. Now I've gone 1 step further in frustration and deleted the whole `/var/guix/profiles/per-user/xiaolong` folder. OK, now guix does not know about any installed packages any more and the error becomes: xiaolong@xlx200:~$ guix pull guile: warning: failed to install locale Migrating profile generations to '/var/guix/profiles/per-user/xiaolong'... Updating channel 'guix' from Git repository at 'https://git.savannah.gnu.org/git/guix.git'... guix pull: error: Git error: failed open - '/home/xiaolong/.cache/guix/checkouts/pjmkglp4t7znuugeurpurzikxq3tnlaywmisyr27shj7apsnalwq/.git/FETCH_HEAD' is locked: Permission denied So I a basically giving up now and want to reinstall. I downloaded the install script `guix-install.sh` from the website and ran it: xiaolong@xlx200:~/Downloads$ sudo bash guix-install.sh (... big GUIX logo here ...) This script installs GNU Guix on your system https://www.gnu.org/software/guix/ Press return to continue... [1593338927.330]: Starting installation (So 28. Jun 12:08:47 CEST 2020) [1593338927.333]: [ PASS ] verification of required commands completed [1593338927.364]: [ INFO ] init system is: systemd [1593338927.368]: [ INFO ] system is x86_64-linux [1593338928.075]: [ PASS ] Release for your system: guix-binary-1.1.0.x86_64-linux [1593338928.077]: [ INFO ] Downloading Guix release archive guix-binary-1.1.0.x86_64 100%[==>] 70,14M 4,27MB/sin 21s guix-binary-1.1.0.x86_64 100%[==>] 833 --.-KB/sin 0s [1593338949.457]: [ PASS ] download completed. [1593338950.341]: [ PASS ] Signature is valid. [1593338959.807]: [ PASS ] unpacked archive [1593338959.808]: [ FAIL ] A previous Guix installation was found. Refusing to overwrite. "OK OK! I'll uninstall the previous one!" But how do I do it exactly? Or is there a flag or anything I can give to make it overwrite the previous installation? Regards, Zelphir
Very slow download speed of substitutes
Dear all, I am trying guix import from cran, and building some R packages, which sometimes needs to download substitutes. i noticed that the download speed can be ridiculously slow and seems especially during night in HKT. Here is a snippet of the downloading: substituting /gnu/store/njhd9w4pvp2c6mbdngg1xvvld82a2c1l-ghc-ansi-wl-pprint-0.6.9... downloading from https://ci.guix.gnu.org/nar/lzip/njhd9w4pvp2c6mbdngg1xvvld82a2c1l-ghc-ansi-wl-pprint-0.6.9 ... ghc-ansi-wl-pprint-0.6.9 123KiB25KiB/s 00:05 [##] 100.0% substituting /gnu/store/p035ilg1b6ywpxxj8df494x8zxnnwg12-ghc-data-default-instances-containers-0.0.1... downloading from https://ci.guix.gnu.org/nar/lzip/p035ilg1b6ywpxxj8df494x8zxnnwg12-ghc-data-default-instances-containers-0.0.1 ... ghc-data-default-instances-containers-0.0.1 42KiB 37KiB/s 00:01 [##] ghc-data-default-instances-containers-0.0.1 42KiB 37KiB/s 00:01 [##] 100.0% substituting /gnu/store/fzvfc1zzqqg2y2f2j7a3p7268gbj8x18-ghc-digest-0.0.1.2... downloading from https://ci.guix.gnu.org/nar/lzip/fzvfc1zzqqg2y2f2j7a3p7268gbj8x18-ghc-digest-0.0.1.2 ... ghc-digest-0.0.1.2 50KiB 26KiB/s 00:02 [##] 100.0% substituting /gnu/store/5vkirs3zzwg7n099f5pwcf3kbf1mjxrg-ghc-entropy-0.4.1.5... downloading from https://ci.guix.gnu.org/nar/lzip/5vkirs3zzwg7n099f5pwcf3kbf1mjxrg-ghc-entropy-0.4.1.5 ... ghc-entropy-0.4.1.5 57KiB 21KiB/s 00:03 [##] 100.0% substituting /gnu/store/vv9mvx9fk8yk49fn0czmszss1s72za8c-ghc-erf-2.0.0.0... downloading from https://ci.guix.gnu.org/nar/lzip/vv9mvx9fk8yk49fn0czmszss1s72za8c-ghc-erf-2.0.0.0 ... ghc-erf-2.0.0.0 51KiB 32KiB/s 00:02 [##] 100.0% substituting /gnu/store/289w11bnbb8v5hav1463my181jchi1ck-ghc-executable-path-0.0.3.1... downloading from https://ci.guix.gnu.org/nar/lzip/289w11bnbb8v5hav1463my181jchi1ck-ghc-executable-path-0.0.3.1 ... ghc-executable-path-0.0.3.1 58KiB 12KiB/s 00:05 [##] 100.0% substituting /gnu/store/8wjlzpx0mxmfmcfq83kqg949vkqy05dh-ghc-extensible-exceptions-0.1.1.4... downloading from https://ci.guix.gnu.org/nar/lzip/8wjlzpx0mxmfmcfq83kqg949vkqy05dh-ghc-extensible-exceptions-0.1.1.4 ... ghc-extensible-exceptions-0.1.1.4 41KiB20KiB/s 00:02 [##] 100.0% One of ghc-* (not shown above) which weights around 97MB took 2 hours to download. But when I use speedtest.net to test my internet speed (https://www.speedtest.net/result/9675438421) I get about 80Mbps both upload and download, while some substitutes are still download (and they are still downloading when I am typing this). So is this problem with my guix setting or is it known that ci.guix.gnu.org is slow? This guix is installed on Linux Mint 19.2, and I did "guix pull" yesterday. Regards, Peter
Can Nix and Guix share the same protocols?
Hi, I’m not sure if this is the best mailing list for this question… Do you think it’s possible to create a protocol that Nix and Guix can share? I can see many benefits of abstracting the important protocols out of these systems. Benefits: • Improved documentation • Richer availability of packages • Offers choice according to taste (Vi vs Emacs?) • May lead to services that are offered for both package managers Cheers, Yasu
Repair / reinstall Guix package manager (foreign distro)
Hi Guix Users! I would like to repair or reinstall my Guix package manager installation, because it seems broken and nothing I tried fixes the problem. The problem: xiaolong@xlx200:~/Downloads$ guix pull Migrating profile generations to '/var/guix/profiles/per-user/xiaolong'... guix pull: error: symlink: File exists: "/var/guix/profiles/per-user/xiaolong/current-guix" It started appearing, when I once ran `guix pull` and `guix package -u` as `root` user, to update my locales in the root profile. Now I can only do a `guix pull` as `root` user, no longer as normal user. I've tried deleting the symlink, thinking: "Well if the error is, that a file exists in that place, it probably wants to write there and refuses to overwrite. I'll delete it for you then." That results in another error: xiaolong@xlx200:~/Downloads$ guix pull Migrating profile generations to '/var/guix/profiles/per-user/xiaolong'... Updating channel 'guix' from Git repository at 'https://git.savannah.gnu.org/git/guix.git'... guix pull: error: Git error: failed open - '/home/xiaolong/.cache/guix/checkouts/pjmkglp4t7znuugeurpurzikxq3tnlaywmisyr27shj7apsnalwq/.git/FETCH_HEAD' is locked: Permission denied I can get it back to previous state by running `guix pull` as `root` user again, but it does not fix the original problem then. Now I've gone 1 step further in frustration and deleted the whole `/var/guix/profiles/per-user/xiaolong` folder. OK, now guix does not know about any installed packages any more and the error becomes: xiaolong@xlx200:~$ guix pull guile: warning: failed to install locale Migrating profile generations to '/var/guix/profiles/per-user/xiaolong'... Updating channel 'guix' from Git repository at 'https://git.savannah.gnu.org/git/guix.git'... guix pull: error: Git error: failed open - '/home/xiaolong/.cache/guix/checkouts/pjmkglp4t7znuugeurpurzikxq3tnlaywmisyr27shj7apsnalwq/.git/FETCH_HEAD' is locked: Permission denied So I a basically giving up now and want to reinstall. I downloaded the install script `guix-install.sh` from the website and ran it: xiaolong@xlx200:~/Downloads$ sudo bash guix-install.sh (... big GUIX logo here ...) This script installs GNU Guix on your system https://www.gnu.org/software/guix/ Press return to continue... [1593338927.330]: Starting installation (So 28. Jun 12:08:47 CEST 2020) [1593338927.333]: [ PASS ] verification of required commands completed [1593338927.364]: [ INFO ] init system is: systemd [1593338927.368]: [ INFO ] system is x86_64-linux [1593338928.075]: [ PASS ] Release for your system: guix-binary-1.1.0.x86_64-linux [1593338928.077]: [ INFO ] Downloading Guix release archive guix-binary-1.1.0.x86_64 100%[==>] 70,14M 4,27MB/sin 21s guix-binary-1.1.0.x86_64 100%[==>] 833 --.-KB/sin 0s [1593338949.457]: [ PASS ] download completed. [1593338950.341]: [ PASS ] Signature is valid. [1593338959.807]: [ PASS ] unpacked archive [1593338959.808]: [ FAIL ] A previous Guix installation was found. Refusing to overwrite. "OK OK! I'll uninstall the previous one!" But how do I do it exactly? Or is there a flag or anything I can give to make it overwrite the previous installation? Regards, Zelphir -- repositories: https://notabug.org/ZelphirKaltstahl