GuixSD installation of external SSD drive: grub-install: error: failed to get canonical path of ` /boot/efi'

2020-05-13 Thread Pierre-Henry F.
Hello, I'm trying to install GuixSD on a USB SSD drive. I downloaded: [ https://ftp.gnu.org/gnu/guix/guix-system-install-1.1.0.x86_64-linux.iso.xz.sig](https://ftp.gnu.org/gnu/guix/guix-system-install-1.1.0.x86_64-linux.iso.xz.sig) Then: $ sudo dd if=guix-system-install-1.1.0.x86_64-linux.iso

sha256 base32 value of a git checkout

2020-05-17 Thread Pierre-Henry F.
Hello, I'm trying my hand on defining a package. I have a source defined as in: (origin (method git-fetch) (uri "some/git/dir") (commit "acommit") (file-name "a_filename") (sha256 (base32 "XXX"))) when origin resolves to an archive, guix download $url gives the value of "XXX" but

Re: sha256 base32 value of a git checkout

2020-05-17 Thread Pierre-Henry F.
It worked! Thanks! phf ‐‐‐ Original Message ‐‐‐ On Sunday, May 17, 2020 2:14 PM, Reza Alizadeh Majd wrote: > On Sun, 17 May 2020 12:00:38 + > "Pierre-Henry F." cont...@phfrohring.com wrote: > > > Hello, > > I'm trying my hand on defining a packag

Guix, Rofi, i3wm and Locales

2018-10-13 Thread Pierre-Henry F.
Hello, I had a problem with an i3wm keybinding which called a bash script which called a command (Rofi) installed with Guix. I uninstalled rofi with Guix, installed it again with apt and it worked fine: https://github.com/DaveDavenport/rofi/issues/865#issuecomment-429532113 : ``` > Setup your lo

Re: Guix, Rofi, i3wm and Locales

2018-10-15 Thread Pierre-Henry F.
On Monday, October 15, 2018 2:13 PM, wrote: > Hello, > > "Pierre-Henry F." cont...@phfrohring.com skribis: > > > I had a problem with an i3wm keybinding which called a bash script which > > called a command (Rofi) installed with Guix. > > I uninstalled rofi wi

Re: Guix, Rofi, i3wm and Locales

2018-10-16 Thread Pierre-Henry F.
Cordialement, Pierre-Henry FRÖHRING +33 6 34 48 17 57 cont...@phfrohring.com Skype: pierre.henry.frohring ‐‐‐ Original Message ‐‐‐ On Tuesday, October 16, 2018 1:47 PM, wrote: > Hi, > > "Pierre-Henry F." cont...@phfrohring.com skribis: > > > I checked

Re: Guix, Rofi, i3wm and Locales

2018-10-17 Thread Pierre-Henry F.
‐‐‐ Original Message ‐‐‐ On Wednesday, October 17, 2018 2:13 PM, wrote: > Hi, > > "Pierre-Henry F." cont...@phfrohring.com skribis: > > > > Concretely, if you explicitly run ~/.guix-profile/bin/rofi, what > > > happens? Does it print warnings

[HELP] Packaging mupdf

2019-03-02 Thread Pierre-Henry F.
Hello, I'm trying to learn how to package code using Guix and packaging mupdf doing do. I need some help to continue. I've followed packaging tutorial for guix[1] and hopefully know enough scheme (Racket in fact) to carry one. The problem with the way mupdf is package today[2] is that it does no

Re: [HELP] Packaging mupdf

2019-03-03 Thread Pierre-Henry F.
Thank you for your reply! I documented my wondering around below and here is the gist of it: To update the ~freeglut~ package (found with: ~$ guix edit freeglut~) may mean to make guix do (the equivalent of) this: #+begin_src sh $ git clone --recursive git://git.ghostscript.com/mupdf.git $ cd m

Re: [HELP] Packaging mupdf

2019-03-04 Thread Pierre-Henry F.
Hi Ricardo, With your help and a little of headbanging, it finally works ! Here are the relevant parts of the code. I wrote my journey too, if it's of any help, I will gladly send it here. Best, PH freeGLUT: (define-module (freeglut-for-mupdf) #:use-module (guix packages) #:use

Re: guix environment with channels?

2019-03-04 Thread Pierre-Henry F.
Did you try "guix pull" before? PH Envoyé depuis ProtonMail mobile Message d'origine On 5 mars 2019 à 08:20, John Soo a écrit : > Hi guix, > > I was going to do some development recently and wanted to use some packages > from a channel. I have it listed as a channel under > ~

Uninstall/Install Guix

2019-04-21 Thread Pierre-Henry F.
Dear list, I've unfortunatly done the equivalent of $ rm /usr/local/bin/guix I've then tried to re-install guix by: removing /gnu removing /var/guix executing the install script given here: https://www.gnu.org/software/guix/manual/en/html_node/Binary-Installation.html#Binary-Installation

Re: Uninstall/Install Guix

2019-04-21 Thread Pierre-Henry F.
ute: guix package -i glibc-utf8-locales > substitute: export GUIX_LOCPATH="$HOME/.guix-profile/lib/locale" > substitute: > substitute: See the "Application Setup" section in the manual, for more info. > substitute: > substitute: > aucune action à fa

Re: Uninstall/Install Guix

2019-04-21 Thread Pierre-Henry F.
> ‐‐‐ Original Message ‐‐‐ > On Sunday, April 21, 2019 6:25 PM, Ludovic Courtès l...@gnu.org wrote: > > > Hello Pierre-Henry, > > (Tu peux aussi t’exprimer en français si tu préfères.) > > "Pierre-Henry F." cont...@phfrohring.com skribis: > >

Re: Uninstall/Install Guix

2019-05-01 Thread Pierre-Henry F.
Hello and thank you for your reply! > Hello, > "Pierre-Henry F." skribis: > > I re-installed using the script at the same address above... but I keep > having a few issues. > > Here is the list of commands that are not expected to give errors or > >

Re: Uninstall/Install Guix

2019-05-01 Thread Pierre-Henry F.
‐‐‐ Original Message ‐‐‐ On Wednesday, May 1, 2019 1:22 PM, Pierre-Henry F. wrote: > Hello and thank you for your reply! > > > Hello, > > > "Pierre-Henry F." cont...@phfrohring.com skribis: > > > > I re-installed using the script at the same

Re: Uninstall/Install Guix

2019-05-01 Thread Pierre-Henry F.
‐‐‐ Original Message ‐‐‐ On Wednesday, May 1, 2019 1:51 PM, Pierre-Henry F. wrote: > ‐‐‐ Original Message ‐‐‐ > On Wednesday, May 1, 2019 1:22 PM, Pierre-Henry F. cont...@phfrohring.com > wrote: > > > Hello and thank you for your reply! > > > &

Re: Uninstall/Install Guix

2019-05-01 Thread Pierre-Henry F.
‐‐‐ Original Message ‐‐‐ On Wednesday, May 1, 2019 1:54 PM, Pierre-Henry F. wrote: > > > ‐‐‐ Original Message ‐‐‐ > On Wednesday, May 1, 2019 1:51 PM, Pierre-Henry F. cont...@phfrohring.com > wrote: > > > ‐‐‐ Original Message ‐‐‐ > > On

Re: Uninstall Guix?

2019-05-04 Thread Pierre-Henry F.
‐‐‐ Original Message ‐‐‐ On Saturday, May 4, 2019 10:35 PM, HiPhish wrote: > Hello, > > I think I have messed up a few things with my Guix installation and I would > like to start over with a fresh setup, but I haven't found information on how > to uninstall Guix in the manual. > > I am u

Re: Uninstall/Install Guix

2019-05-06 Thread Pierre-Henry F.
‐‐‐ Original Message ‐‐‐ On Monday, May 6, 2019 4:46 AM, Chris Marusich wrote: > Hi Pierre-Henry, > > "Pierre-Henry F." cont...@phfrohring.com writes: > > > I tried to remove and re-install again but here what I get: > > > > phf@f02c:Download

Re: Uninstall Guix?

2019-05-06 Thread Pierre-Henry F.
nstructions of the manual and unded all the steps. > When it told me to copy, move or symlink something I deleted that, I disabled > and deleted the SystemD services, and I removed all the Guix build users and > their group. > > On Saturday, 4 May 2019 23:13:06 CEST Pierre-Henry F

Help defining a trivial package.

2019-08-23 Thread Pierre-Henry F.
Hello! Would someone help defining a trivial package? Essentially: …/releases$ tree . ├── release_1.tar.lz ├── release_2.tar.lz └── release_3.tar.lz …/release_3$ tree . ├── bin │ └── program └── src └── hello_world.py …/release_3$

Help defining a trivial package.

2019-08-29 Thread Pierre-Henry F.
> As a note for the future, it would be helpful to include the error > message that you saw when things went wrong. Here, I’m assuming that > Guix said: > > guix build: error: #: not something we can build > > Running “guix build --file=X” causes Guix to build the last expression > evaluated i

Re: Help defining a trivial package.

2019-09-04 Thread Pierre-Henry F.
re are the questions I try to answer: - How to define ~blog.scm~ such that ~$ guix environment blog~ works? - How to define ~blog_executable.scm~ such that ~$ guix package -i blog_executable~ works? Thanks! PHF PS: Python + quasiquotes => I'm trying to replace Python with Racket wheneve

Re: Joint statement on the GNU Project

2019-10-12 Thread Pierre-Henry F.
Dear Jean-Louis, Could you please stop sending messages to the channel? Thanks, PHF Envoyé depuis ProtonMail mobile Message d'origine On 12 oct. 2019 à 14:19, Jean Louis a écrit : > * Quiliro Ordóñez [2019-10-11 01:27]: >> * Ricardo Wurmus [2019-10-10 07:09]: >> > I have pr