Re: compile

2022-05-02 Thread zimoun
Hi Mario, On Mon, 02 May 2022 at 19:04, marioBB wrote: > I used manifest file with: > > (specifications->manifest > '("ghc@8.10.7" > "ghc-zstd")) > > $ guix shell [...] > Loaded package environment from > /home/ms/.ghc/x86_64-linux-8.10.7/environments/default > : cannot satisfy

Re: Screen sharing ungoogled-chromium

2022-05-02 Thread Alexey Abramov
Hi, Would you consider to use a custom flaptak Teams package? Check it out, screen sharing does work for me. -- Alexey On May 1, 2022 06:25:13 phodina via wrote: Jitsi works in chromium and I'm able to share screen. But I'm trying to switch to Guix as my work laptop but in order to do

Re: compile

2022-05-02 Thread marioBB
> On Sat, 02 Apr 2022 at 18:46, marioBB via help-guix@gnu.org wrote: > > > I play around ghc compilation using guix ghc-* packages, but I've got a > > problem. > > When I install some ghc package (guix install ghc-) > > I'd like to use it in this way 'ghc -o output HelloWorld.hs -package ghc- > >

Patch '/usr/bin/env -S' shebangs

2022-05-02 Thread Olivier Dion via
Hi all, I have a couple of scripts -- that are not to be installed -- in my project. These scripts all have the following shebang: --8<---cut here---start->8--- #!/usr/bin/env -S guile --no-auto-compile -e main -s --8<---cut

Re: how can I find the terminal output

2022-05-02 Thread Tobias Geerinckx-Rice
Gottfried, script(1) is the classic way to log your shell (or any) session to a text file. See . There's more fancy stuff like asciinema but that seems like overkill here. Kind regards, T G-R Sent on the go. Excuse or enjoy my

Re: compile

2022-05-02 Thread zimoun
Hi, On Sat, 02 Apr 2022 at 18:46, marioBB via wrote: > I play around ghc compilation using guix ghc-* packages, but I've got a > problem. > When I install some ghc package (guix install ghc-*) > I'd like to use it in this way 'ghc -o output HelloWorld.hs -package ghc-* > I've got an error `:

Re: How to offload builds only when some of the offload build servers are available

2022-05-02 Thread zimoun
Hi, On Sun, 01 May 2022 at 16:01, Kyle Andrews wrote: > How can I configure the offload functionality to check whether the build > machines specifiec in ~/etc/guix/machines.scm~ are available first; and > if they are not (e.g. because I am roaming outside my local network) > just proceed with

Re: Touchegg package

2022-05-02 Thread zimoun
Hi, On Sun, 01 May 2022 at 20:14, Rene Saavedra wrote: > I have packaged Touchegg[1] and I would like to send the patch. What > file (gnu packages) should I add it? Cool! You might be interested by this part of the manual: https://guix.gnu.org/manual/devel/en/guix.html#Contributing

Re: Impressions after 4 years of using Guix ( + guix-hurd logo ?) :)

2022-05-02 Thread zimoun
Hi Hubert, On Thu, 21 Apr 2022 at 19:34, Hubert Lombard wrote: > https://debian-facile.org/viewtopic.php?pid=379708#p379708 Really cool! Thank you. > hoping that it will attract people... Since you did the hard work, maybe the translation could land to: as «

Re: how can I find the terminal output

2022-05-02 Thread zimoun
Hi, On Sat, 30 Apr 2022 at 18:07, Gottfried wrote: > Because I don't know how it works, I guessed that the "empty > environment" is a new created file which has been added and I wanted to > get rid of this file. The “empty environment” means an “empty profile”, so it is managed by Guix and

Re: Screen sharing ungoogled-chromium

2022-05-02 Thread Reza Housseini
On 5/1/22 06:24, phodina via wrote: Jitsi works in chromium and I'm able to share screen. But I'm trying to switch to Guix as my work laptop but in order to do that the Teams screen share would have to work. Anyway it's proprietary garbage so if there isn't anybody who got it working let's