Re: Checking for substitutes

2018-06-05 Thread Timothy Sample
Hi Konrad, Konrad Hinsen writes: > Hi Guix, > > I wonder if there is any way to check if substitutes are available for a > given set of packages (e.g. a single package with its dependencies, or a > complete manifest). > > The context is optimizing package updates: if I know everything I need >

Re: 'libstdc++.so.6' cannot be found in RUNPATH ()

2018-06-27 Thread Timothy Sample
Hi Hinko, Hinko Kocevar writes: > Hi Ludovic, > > Thank you for the insight. > > Is there a way to have the check pass by other means (i.e not skip the check)? One thing you could do is patch the RUNPATH of the library. You can do this with the ‘patchelf’ command. A good starting place might

Re: bug#30680: [racket-users] Using Racket's raco on on Guix(SD)

2018-08-12 Thread Timothy Sample
Christopher Lemmer Webber writes: > Timothy Sample writes: > >> Christopher Lemmer Webber writes: >> >>> Likewise, Gregor and Raart do not install: >>> >>> [...] >> >> This is a timezone issue. The “tzinfo” package cannot find the >&

Re: bug#30680: [racket-users] Using Racket's raco on on Guix(SD)

2018-08-11 Thread Timothy Sample
Christopher Lemmer Webber writes: > Konrad Hinsen writes: > >> In my tests, all packages ended up working, but performance is indeed >> worse than with a Racket installation outside of Guix. >> >> It would be nice if someone with more knowledge of Racket internals >> could give a hint or two for

Re: Lock screen gnome

2018-12-20 Thread Timothy Sample
Hi Ludo and Gábor, Gábor Boskovits writes: > Hello, > > Ludovic Courtès ezt írta (időpont: 2018. dec. 19., Sze, 14:53): >> >> Hi Timothy, >> >> Timothy Sample skribis: >> >> > Someday I would like to return to fixing GDM, but I am a bit >

Re: Lock screen gnome

2018-12-14 Thread Timothy Sample
Hi Peter, "Peter Baumgarten" writes: > I just installed guixsd with gnome, but I can not lock the screen when > hit the meta key + L > > Is there anything extra I need to do add this functionality below is > the config.scm I am using AFAIK, the lock screen requires GDM, which currently does

Re: Removing prop-inputs

2019-01-11 Thread Timothy Sample
Hi brettg, bre...@posteo.net writes: > On 12.01.2019 02:25, bre...@posteo.net wrote: >> Hi all, this is my system configuration file. I am trying to remove >> nautilus and epiphany from the gnome-desktop-service that gets loaded. >> So far I am not having any luck. Any ideas? >> >> [...] > >

Re: Help with writing custom boot-loader configuration

2019-06-03 Thread Timothy Sample
Hi Raghav, Raghav Gururajan writes: > On Thu, 2019-05-30 at 10:11 +, Raghav Gururajan wrote: >> Hello Guix! >> >> If I want to make the "grub-bootloader" to invoke ONLY >> "grub-mkconfig" and NOT "grub-install", how should I modify the >> "bootloader" part of "operating-system" section of

Re: Help with writing custom boot-loader configuration

2019-06-05 Thread Timothy Sample
Hi Raghav, Raghav Gururajan writes: >> >> My first thought after reading your question was >> . > > Yes, I was looking for a method other than using (const ~#t). Heh. I didn’t see this before. Sorry for sending you code

Re: GNOME no thumbnails?

2019-05-22 Thread Timothy Sample
Hi nightowl, nightowl writes: > Does anyone have a problem getting jpg and png picture files to have > thumbnail previews shown in the file browser (nautilus)? My instance > of GNOME does not appear to be generaterating the thumbnail images. I am seeing this too. It looks like it may have

Re: Any questions yet

2019-05-08 Thread Timothy Sample
Hi Jone, Jone writes: > Hello, people! I don't even know exactly what I would like to ask)) > Well, for example: two calls "guix pull" as root and as user - what > does the first if the root has 0 packages (besides guix itself, > right?) But how is this related in the future? I still do not >

Re: Should %base-services be included by default in the OS configuration generated by the installer?

2019-05-08 Thread Timothy Sample
Hi sirgazil, sirgazil writes: > Hi, > > The Guix System 1.0.0 installer has a bug that makes it generate > operating system configuration files that don't include the > %base-packages > (https://debbugs.gnu.org/cgi/bugreport.cgi?bug=35541). The > configuration file of the system I installed was

Re: GNOME Desktop

2019-05-05 Thread Timothy Sample
Hi, "pelzflorian (Florian Pelz)" writes: > On Sun, May 05, 2019 at 10:13:38PM +0200, Ricardo Wurmus wrote: >> pelzflorian (Florian Pelz) writes: >> > You can type in the terminal: >> > >> > guix install gnome-calendar >> > >> > This should become part of guix’ gnome package. That it is

Re: Customize PAM configuration

2019-08-10 Thread Timothy Sample
Hi Jone, Jone writes: > Hello! I want enter user/root password only once per session. To do this, > it will probably be convenient to export the password to shell variable. > For example, adding this to PAM configuration file: > >auth sufficient pam_exec.so expose_authtok /path/to/script.sh

Re: Help defining a trivial package.

2019-08-25 Thread Timothy Sample
Hi Pierre, "Pierre-Henry F." writes: > Would someone help defining a trivial package? Sure! > Here is an attempt at defining the package (incomplete, does not work) in > blog.scm: > > (define-module (blog) > #:use-module (guix packages) > #:use-module (guix download) >

Re: Help defining a trivial package.

2019-09-02 Thread Timothy Sample
Hello, "Pierre-Henry F." writes: > > Hello Tim ! > > I'm using a couple of hours here an there to try to rebuild the package you > gave me (Thank you for that :-) ). > So far, I've built a very stupid but "working" package (see below if you > really want to ;-) ). Looks good so far! > Will

Re: Help defining a trivial package.

2019-08-29 Thread Timothy Sample
Hi Pierre, "Pierre-Henry F." writes: > So, we have, in ~bash~: > > $ lzip --decompress release_3.tar.lz > $ tar xf release_3.tar > $ cd blog/ # coming from the preceding line. > $ tree > . > ├── bin > │ └── program > └── src > └── hello_world.py > > $ cat

Re: Setting environment variables in Gnome session

2019-08-28 Thread Timothy Sample
Hi Jonathan, Jonathan Frederickson writes: > On Wed, Aug 28, 2019 at 8:40 PM, Timothy Sample > wrote: >> If you use GDM and GNOME, and have Bash as your shell, you need to set >> the variables in “~/.bash_profile” or “~/.bashrc”. Guix System sets >> up >>

Re: Setting environment variables in Gnome session

2019-08-28 Thread Timothy Sample
Hi Jonathan, Jonathan Frederickson writes: > I'm trying to install some software through Flatpak alongside software > installed through Guix (on a Guix System install) and I'm running into > what feels like it should be a minor issue. On other distros (including > my desktop where I'm running

Re: Help defining a trivial package.

2019-09-04 Thread Timothy Sample
Hello! I’m glad the Python code was helpful. :) I’ve commented on some of your other points below. "Pierre-Henry F." writes: > Development: > > $ guix environment --manifest=./guix/manifest.scm --pure --container > $ # Develop things. Add dependencies at will in manifest.scm > > >

Re: How to make sure ghc uses installed packages?

2019-09-17 Thread Timothy Sample
Hi, John Soo writes: > One other problem I can think of is that the current ghc is 8.6 but most > ghc-* packages are built with 8.4 so most packages are incompatible with > the default. I’ve seen a number of bug reports and questions about this. Maybe we should rename GHC 8.6 to “ghc-next”

Re: Problem with Guix install with openbox

2019-07-22 Thread Timothy Sample
Hi Alex, Alexander Asteroth writes: > Dear Timothy, > > Thank you for the hint. Unfortunately “~/.config/openbox/menu.xml” > does not exists and "find ~/.config -name openbox” does not yield any > result. I would guess that Openbox has a default menu somewhere, and if you copy that to

Re: Problem with Guix install with openbox

2019-07-22 Thread Timothy Sample
Hi Alexander, Alexander Asteroth writes: > Hi there, > > As a former Guile programmer I like the idea to configure my system using > guile. > I installed Guix in a vm (VmwareFusion I have to admit) and everything > worked fine. > I used the graphical installer and chose Openbox as a

Re: core-updates call for testing

2020-05-04 Thread Timothy Sample
Hi Marius, Marius Bakke writes: > The "core-updates" branch is ready for testing! [...] > > Please try upgrading your profiles and systems and file bugs for > anything that does not work for you. GNOME users in particular are > encouraged to try the new GNOME 3.34 and report any regressions.

Re: How do I build a derivation with guix build?

2020-09-05 Thread Timothy Sample
Hi divoplade, As I understand it, ‘gexp->derivation’ returns a value in the store monad. I’m not sure why ‘guix build’ doesn’t know how to use it directly, but you can get at the derivation by wrapping it with ‘run-with-store’: (run-with-store (open-connection) (gexp->derivation

Re: Using Haskell library packages - linker error

2020-09-07 Thread Timothy Sample
Jakub Kądziołka writes: > On Mon, Sep 07, 2020 at 09:50:51AM -0400, Timothy Sample wrote: > >> GHC needs a special flag to link shared libraries. We recently starting >> building shared libraries for our Haskell packages. The static ones are >> still being built, b

Re: Using Haskell library packages - linker error

2020-09-07 Thread Timothy Sample
Hi Jakub, Jakub Kądziołka writes: > I am trying to set up Agda, and I have reduced it to a simpler problem: > > $ cat test.hs > import Numeric.IEEE > > main = return () > $ genv --pure --ad-hoc ghc@8.6 ghc-ieee754 gcc-toolchain > % ghc test.hs > Linking test ... > ld: cannot find

Re: What about GCC support for ADA ?

2020-08-21 Thread Timothy Sample
Hi divoplade, divoplade writes: > Recently I was introduced to the ada programming language. [...] > However, it is not installed with gcc-toolchain (I am on a foreign > distribution). > > Are there deep reasons why it is disabled? [...] Is there a > bootstrapping problem for instance?

Re: Who has had success installing a Guix system on arm?

2020-11-05 Thread Timothy Sample
Hi Jesse, Jesse Gibbons writes: > Has anyone in this mailing list successfully used the Guix system on > an armhf or aarch64 computer? I don’t have a lot of details for you, but I can confirm that I’ve used Guix on three armhf boards: BeagleBone Black, veyron_speedy (ASUS C201), and

Re: Who has had success installing a Guix system on arm?

2020-11-05 Thread Timothy Sample
Hi Vagrant, Vagrant Cascadian writes: > On 2020-11-05, Timothy Sample wrote: > >> For the Veyron boards, it is starting to work quite well. The current >> version of U-Boot can boot these boards, but you can also boot U-Boot >> from the stock firmware (which is Depth

Re: How to use guix hash --serializer?

2022-01-04 Thread Timothy Sample
Hi zimoun, zimoun writes: > Indeed, > > $ guix hash -S git foo -x > 0czq9304mdv9f2j6a8cdi9855sl8w595p06c1m8bn9pg391lhcal > $ guix hash -S git foo > 0czq9304mdv9f2j6a8cdi9855sl8w595p06c1m8bn9pg391lhcal > > Hum, I will check if it is expected. I’m pretty sure it’s a bug.

Re: How to use guix hash --serializer?

2022-01-04 Thread Timothy Sample
Hi zimoun, zimoun writes: > Feel free to adjust with your commit name and push. :-) Done! The commit is 8646f1f7a53d28f305f30420ad23b670159c53a9. -- Tim