[PATCH] Add st

2015-06-09 Thread amirouche
This patch st terminal emulator from suckless. This is my first patch! This installs flawlessly except: - `tic -s terminfo -s info` which fails because it try to install in an unknown home directory. In Gentoo they install it in /usr/share/terminfo [1]. A added a patch to avoid this issue. On

Re: [PATCH] Add st

2015-06-09 Thread amirouche
With the patch this time ^^' On 2015-06-09 13:04, amirou...@hypermove.net wrote: This patch st terminal emulator from suckless. This is my first patch! This installs flawlessly except: - `tic -s terminfo -s info` which fails because it try to install in an unknown home directory. In Gentoo th

Re: [PATCH] Add st

2015-06-09 Thread amirouche
On 2015-06-09 16:22, Andreas Enge wrote: Hello, thanks for the submission! Just a partial review: On Tue, Jun 09, 2015 at 03:07:55PM +0200, amirou...@hypermove.net wrote: + ("font-liberation5" ,font-liberation))) Typo? Drop "5" +(description + "Xterm is bloated and unmaintai

Re: [PATCH] Add st

2015-06-13 Thread amirouche
nks! Mark From 57f2762b7a501a92fbcb5b6bed62f2bbae413eea Mon Sep 17 00:00:00 2001 From: amz3 Date: Sun, 7 Jun 2015 19:04:28 +0200 Subject: [PATCH 1/2] gnu: Add st. * gnu/packages/dwm.scm (st): New variable. --- gnu/packages/dwm.scm | 60 +++--

Re: Web interface pushed

2018-07-30 Thread amirouche
Hi On Monday, July 30, 2018 00:08 CEST, Clément Lassieur wrote:  Hi Tatiana, So, I did the pagination review and I pushed your work tonight. :-) I added checks to avoid crashes when the table is empty (FIRST and LAST expect non-empty lists). I modified a few minor things too: - the commit me

Re: Web interface pushed

2018-08-09 Thread amirouche
On Tuesday, August 07, 2018 23:33 CEST, Tatiana Sholokhova wrote:   I thought about writing the summary of and sending it to the mailing list, but now I think that a blog post would be more convenient for a reader. What is the source format for guix blog markdown and is where something special

gnunet-guile reboot & guix (take two)

2018-02-03 Thread amirouche
Hello all, After discussing gnunet & guix at fosdem with gnunet people I have better picture of where things can go. The short story is: 1) There is no way to know the gnunet hash aka. gnunet uri of a substitute before the build. 2) There is no way to associate gnunet hash and guix hash i

Re: [GNUnet-developers] gnunet-guile reboot & guix (take two)

2018-02-09 Thread amirouche
Le sam. 3 févr. 2018 à 14:10, amirouche a écrit : Hello all, Possible solutions: a) Add the gnunet-uri of the substitute in the package definition. This can only work if the package is reproducible aka. the build is always the same given the same package definition. For reproducible

Use guix to distribute data & reproducible science

2018-02-09 Thread amirouche

Re: More progress with the Guix Data Service

2019-05-17 Thread Amirouche
On 2019-05-17 09:56, Christopher Baines wrote: Hey, In summary, I think the Guix Data Service might be getting useful enough that setting it up properly might be a good next step, and I'd be interested in what others think? Yeah. And it looks good :) A bit over a month ago, I sent out an u

Re: Gluglug X60 Guix howto

2014-11-25 Thread Amirouche Boubekki
2014-11-25 13:42 GMT+01:00 Ludovic Courtès : > Alex Sassmannshausen skribis: > > > I received a request for instructions on how to get Guix running as > > standalone on the Gluglug X60 — my work is ongoing (I haven't > > reconfigured the Grub BIOS, nor have I got wireless working yet), but > > a

Installing guix

2014-12-14 Thread Amirouche Boubekki
Hello, I installed GNU Guix distribution on my other machine to use it more often. This will be a bit a long explanation. My machine is kind of recent, and previously with other distro I had all sort of trouble with uefi. Not this time, I don't know what is the configuration of guix, I've just s

Re: Installing guix

2014-12-17 Thread Amirouche Boubekki
2014-12-15 23:54 GMT+01:00 Ludovic Courtès : > Amirouche Boubekki skribis: > >> My machine is kind of recent, and previously with other distro I had >> all sort of trouble with uefi. Not this time, I don't know what is the >> configuration of guix, I've just set

Re: guix pull fails for me

2015-01-01 Thread Amirouche Boubekki
Hi, guile-json is missing for some reason. Maybe you can install it manually or from a guix git checkout. I'm curious can you provide the guix --version: - as a user - as root - ./pre-inst-env guix --version in git. > ERROR: no code for module (json) > Backtrace: > In ice-9/boot-9.scm: > 157:

Re: guix pull fails for me

2015-01-02 Thread Amirouche Boubekki
2015-01-01 19:41 GMT+01:00 Adam Pribyl : > On Thu, 1 Jan 2015, Amirouche Boubekki wrote: > >> Hi, >> >> guile-json is missing for some reason. Maybe you can install it > > > Installing guile-json as root makes no difference. > >> manually or from a guix

Re: Large git repositories

2015-01-13 Thread Amirouche Boubekki
On Mon Jan 12 2015 at 11:03:48 PM Andreas Enge wrote: > Hello, > > I am trying to package the droid font family. It appears to be available > only via the android git at: >https://android.googlesource.com/platform/frameworks/base/+ > /android-4.4.4_r2.0.1/data/fonts/ > where >https://andr

Re: [ART] Logo proposal

2015-02-09 Thread Amirouche Boubekki
> I like all logos I have seen so far, but as Taylan I think we should not > brand GSD too much and stay as close as we can to the GNU brand Luis GSD logo is really close to GNU branding. Looks more modern. Maybe it should use the same colors? On Mon Feb 09 2015 at 1:38:01 PM Andreas Enge wrote:

Re: [ART] Website mockup

2015-02-16 Thread Amirouche Boubekki
, Luis Felipe López Acevedo writes: > Hi, > > Here is a mockup for the website: > > http://sirgazil.bitbucket.org/static/temp/img/guix/home-black-header.png The black header looks strange because the rest of the page is very light. > > And some variants with white and yellow headers: > > http:

Re: [ART] Updated GRUB background with GuixSD logo

2015-02-16 Thread Amirouche Boubekki
On Mon Feb 16 2015 at 5:27:28 PM Taylan Ulrich Bayırlı/Kammer < taylanbayi...@gmail.com> wrote: > Luis Felipe López Acevedo writes: > > > I think that the gradients that give the illusion of twist are still a > > bit hard to see. So here is variant C with retouched gradients: > > > > http://sirga

Re: [ART] Website mockup

2015-02-16 Thread Amirouche Boubekki
2015-02-16 18:23 GMT+01:00 Luis Felipe López Acevedo : > El lun, 16-02-2015 a las 11:09 +0000, Amirouche Boubekki escribió: >> > http://sirgazil.bitbucket.org/static/temp/img/guix/home-yellow-header.png >> >> >> - less constrast >> - logo is good but I'm no

Re: [ART] Website mockup rev1

2015-02-18 Thread Amirouche Boubekki
On Wed Feb 18 2015 at 12:29:43 AM Luis Felipe López Acevedo < felipe.lo...@openmailbox.org> wrote: > Hi, > > Here is a revision of the last website mockup [1]. > > White header > http://sirgazil.bitbucket.org/static/temp/img/guixsd/home- > view-white-rev1.png +1 > Black header > http://sirgazi

Re: GuixSD tee-shirts and hoodies available

2015-04-09 Thread Amirouche Boubekki
I got hoodie, I hope it will warm me a little more than the one I wear right now :) 2015-04-09 13:42 GMT+02:00 Daniel Pimentel : > On 2015-04-08 16:09, Luis Felipe López Acevedo wrote: >> >> Hi, >> >> I just created a GuixSD tee-shirt and hoodie in teespring: >> http://teespring.com/guixsd-for-the

Re: Guix Oficial Website

2015-05-18 Thread Amirouche BOUBEKKI
Le lundi 18 mai 2015 à 09:30 -0400, David Thompson a écrit : > John Darrington writes: > > > It would be better if black text on a very dark grey background was > > avoided. > > Where? We use white text on every dark background I can see. > Links that may help! [0] can help test constrat acc

Re: Prerequesits GuixSD

2015-05-19 Thread Amirouche BOUBEKKI
Le mardi 19 mai 2015 à 10:55 +0200, Ricardo Wurmus a écrit : > Hi Fabian, > > > But the system build broke. > > What exactly does this mean? > > > I used a Lenovo T60 with just 1GB RAM. What hardware do i need to > > build a Guix system? I used the very tiny system configuration that i > > found

Re: Website, differentiating GuixSD vs Guix

2015-05-24 Thread Amirouche Boubekki
2015-05-21 23:43 GMT+02:00 Luis Felipe López Acevedo < felipe.lo...@openmailbox.org>: > On 2015-05-20 14:22, Paul van der Walt wrote: > >> Hello Guix, >> >> Minor headache i had, thought i'd share. >> >> Went to the website to download the binary tarball (which seems to work >> very well, kudos!),

Re: inside the Guile REPL

2015-06-16 Thread Amirouche Boubekki
_Guix/Build_expressions_and_package_descriptions to be quite useful. Both resource are super useful. Thanks both of you. Pj. -- Amirouche ~ amz3 ~ http://www.hyperdev.fr

Re: guix edit

2015-06-16 Thread Amirouche Boubekki
ormal repository. Like for instance, gcc for a specific target. `guix edit gcc:4.5' should open or clone the correct recipe. Thanks, Ludo’. -- Amirouche ~ amz3 ~ http://www.hyperdev.fr

Re: guix edit

2015-06-18 Thread Amirouche Boubekki
On 2015-06-17 21:15, l...@gnu.org wrote: Amirouche Boubekki skribis: A usecase, I have in mind from experience, is being in vm/container and having to edit the recipe for that specific vm *but* that recipe is in the main normal repository. Like for instance, gcc for a specific target. `guix

[PATCH] guix: scripts: Add --dependencies=PACKAGE commmand

2015-06-20 Thread Amirouche Boubekki
tive" web output [1]. HTH, [1] http://www.hyperdev.fr/_drafts/guix-dependencies-in-sigmajs/sigmajs/ -- Amirouche ~ amz3 ~ http://www.hyperdev.fr

Re: [PATCH] guix: scripts: Add --dependencies=PACKAGE commmand

2015-06-20 Thread Amirouche Boubekki
Sorry my patch was missing a file. On 2015-06-20 18:45, Amirouche Boubekki wrote: This is a first patch to request the interest and the feedback of the community to have something like that in guix and how it should be done. guix packacge --dependencies=PACKAGE That will output the dot

Re: [PATCH] import: pypi: Detect inputs.

2015-06-20 Thread Amirouche Boubekki
On 2015-06-19 17:32, Christopher Allan Webber wrote: Amirouche Boubekki writes: Héllo, If I'm not mistaken this patch relies only on the presence of requirements.txt. This is not a required file in python packaging. otherwise said, we miss a lot using this method. I think the best wa

Re: [PATCH] import: pypi: Detect inputs.

2015-06-21 Thread Amirouche Boubekki
On 2015-06-21 22:56, l...@gnu.org wrote: Amirouche Boubekki skribis: If I'm not mistaken this patch relies only on the presence of requirements.txt. This is not a required file in python packaging. otherwise said, we miss a lot using this method. I think the best way to do that would

Re: Guix package steps

2015-06-22 Thread Amirouche Boubekki
On 2015-06-22 15:42, Daniel Pimentel wrote: On 2015-06-22 03:09, Mark H Weaver wrote: Daniel Pimentel writes: On 2015-06-17 00:57, Mark H Weaver wrote: Daniel Pimentel writes: I tried create new packages (ipcalc, nmap, xfburn and others) but without success. My steps (based on talk GNU G

Re: Third party guix repositories could be used for housing guile modules and other things.

2015-06-24 Thread Amirouche Boubekki
ther repository with guix recipes where it's easier to contribute and/or dedicated to guile. But this will still be only available only to GNU/Linux users. Also, I'd better stay focus on guix. There is guildhall for guile, take it as the official Guile package manager if yo

Re: [PATCH] gnu: Add rhythmbox.

2015-07-05 Thread Amirouche Boubekki
te this soon. David, is Rhythmbox working for without any such errors? Are you using GuixSD? ~~ Ricardo -- Amirouche ~ amz3 ~ http://www.hyperdev.fr

Re: [PATCH] gnu: Add rhythmbox.

2015-07-05 Thread Amirouche Boubekki
On 2015-07-05 19:45, Amirouche Boubekki wrote: On 2015-07-05 17:28, David Hashe wrote: Hi Ludo and Ricardo, The 'uridecodebin' error is a result of GST_PLUGIN_SYSTEM_PATH not being set. However, the recent patch to gstreamer adds that to its native search paths, so that error

Re: Guix world tour

2016-10-04 Thread Amirouche Boubekki
Héllo, On Fri, Sep 30, 2016 at 11:45 AM Ludovic Courtès wrote: > The CUFP talk was in this very nice room with 60 people or so. I > focused on why and how we use Scheme extensively, explicitly comparing > to Nix{,OS}, which the majority of the attendance already knew. Among > the questions I h

Re: FOSDEM 2016 was awesome! Let's do FOSDEM 2017 (we are IN!)

2016-10-06 Thread Amirouche Boubekki
On 2016-10-05 16:09, Pjotr Prins wrote: Good news! We have just been informed that GNU Guile/Guix has a half day devroom for FOSDEM 2017 again. https://fosdem.org/2017/ Book your resp. flights/trains/boats! Pj. Yeah! That is good news! I will prepare my slides (and finish my project ;)

[PATCH] Add scheme-bytestructures

2016-10-09 Thread Amirouche Boubekki
9d67d9c137 Mon Sep 17 00:00:00 2001 From: Amirouche Date: Sun, 9 Oct 2016 12:31:20 +0200 Subject: [PATCH] gnu: Add scheme-bytestructures * gnu/packages/guile.scm (scheme-bytestructures): New variable. diff --git a/gnu/packages/guile.scm b/gnu/packages/guile.scm index 0890f19..383990e 100644

Re: [PATCH] Add scheme-bytestructures

2016-10-18 Thread Amirouche Boubekki
On Mon, Oct 10, 2016 at 10:46 PM Ludovic Courtès wrote: > Hi Amirouche, [...] > >> +(scm-files (string-split > "bytestructures/guile/explicit-endianness.scm > >> +bytestructures/guile/numeric-metadata.scm > >> +bytestructures/guile/ffi.scm

Re: [PATCH] Add scheme-bytestructures

2016-10-19 Thread Amirouche Boubekki
Updated the patch. On Tue, Oct 18, 2016 at 4:28 PM Ludovic Courtès wrote: > Amirouche Boubekki skribis: > > > On Mon, Oct 10, 2016 at 10:46 PM Ludovic Courtès wrote: > > > [...] > >> Please let’s not list all the files. :-) Could it instead use &

Re: [PATCH] Add scheme-bytestructures

2016-10-20 Thread Amirouche Boubekki
On Thu, Oct 20, 2016 at 4:00 PM Ludovic Courtès wrote: > Hello, > > Amirouche Boubekki skribis: > > > find-files does the right thing, there is no need to filter what it > returns. > > From ea88bf4b53a63ba0d54f71622d055c32cd7e346e Mon Sep 17 00:00:00 2001 > >

[PATCH] gnu: link-grammar: New module.

2016-10-23 Thread Amirouche Boubekki
From 391889d22f102368cc44d6a0a928fccd20810269 Mon Sep 17 00:00:00 2001 From: Amirouche Date: Sun, 23 Oct 2016 16:46:12 +0200 Subject: [PATCH] gnu: link-grammar: New module * gnu/packages/link-grammar.scm: New module. * gnu/local.mk (GNU_SYSTEM_MODULES): Add new file. --- gnu/local.mk

Re: [PATCH] gnu: link-grammar: New module.

2016-11-04 Thread Amirouche Boubekki
Thx for the review and explanation. I am not in a hurry, I will wait for the 5.3.12 release. On Mon, Oct 24, 2016 at 7:03 PM Amir P wrote: > On Sun, 23 Oct 2016 17:20:11 -0400 Leo Famulari wrote: > > If sqlite and zlib are only used when building, but not when running > > link-grammar, then the

Re: Paper preprint: Reproducible genomics analysis pipelines with GNU Guix

2018-04-15 Thread Amirouche Boubekki
Wow very great, thanks for sharing. On Wed, Apr 11, 2018 at 11:17 PM Roel Janssen wrote: > > Ricardo Wurmus writes: > > > Hey all, > > > > I’m happy to announce that the group I’m working with has released a > > preprint of a paper on reproducibility with the title: > > > > Reproducible gen

Re: Videos

2018-05-29 Thread Amirouche Boubekki
On 2018-05-29 16:48, Ricardo Wurmus wrote: Hi Guix, I’d like us to produce a series of short videos (< 4 mins each) that introduce functional package management with Guix. This is supposed to be aimed at people who are intimidated by the manual and wouldn’t know where to begin reading. Each

Re: GSoC: Adding a web interface similar to the Hydra web interface

2018-07-19 Thread Amirouche Boubekki
Fwiw, you can use bootstrap without js. Causal reply, Amirouche Le jeu. 19 juil. 2018 à 22:11, Tatiana Sholokhova a écrit : > Hi Clément, > > Thank you for the clarifications on the job structure! > > I have read your changes to the web interface and everything looks good to

Re: Web interface pushed

2018-07-30 Thread Amirouche Boubekki
Le lun. 30 juil. 2018 à 18:03, Clément Lassieur a écrit : > Hartmut Goebel writes: > > > Am 30.07.2018 um 11:11 schrieb Clément Lassieur: > >> On https://cuirass.lassieur.org:8081/ for now, and on > >> https://berlin.guixsd.org/ when Ricardo guix pulls and guix > reconfigures > >> it :-) > > > >

Re: Ensuring we don't break user systems

2018-07-30 Thread Amirouche Boubekki
Le lun. 30 juil. 2018 à 23:17, Nils Gillmann a écrit : > We just have 2 different views here. > > When Guix started, which was about 3 years before I joined, the model > was okay. Between 2015 and now the amount of breakage has been > extremely reduced due to discussions about more reasonable dev

Re: Web interface pushed

2018-08-02 Thread Amirouche Boubekki
I read some of the code, I like it :) diff --git a/src/cuirass/base.scm b/src/cuirass/base.scm index 82f49a4..af24a28 100644 --- a/src/cuirass/base.scm +++ b/src/cuirass/base.scm @@ -20,6 +20,10 @@ ;;; You should have received a copy of the GNU General Public License ;;; along with Cuirass. If

Re: Web interface pushed

2018-08-02 Thread Amirouche Boubekki
Le jeu. 2 août 2018 à 20:49, Gábor Boskovits a écrit : > Clément Lassieur ezt írta (időpont: 2018. aug. 2., > Cs, 18:49): > >> Hi Gábor, >> >> Gábor Boskovits writes: >> >> > Also most of the time the results differing from the results in the >> > previous evaluations are the most interesting.

Re: IRC freenode issue

2018-08-02 Thread Amirouche Boubekki
Le ven. 3 août 2018 à 00:15, Ricardo Wurmus a écrit : > > Clément Lassieur writes: > > > There seems to be an issue with #guix: I can't join anymore. The error > > is: > > > > Cannot join channel (+i) - you must be invited > > I would be much happier if we could filter messages or automatical

Re: System configuration on non-native Guix (SuSE/Debian)

2018-08-19 Thread Amirouche Boubekki
Le dim. 19 août 2018 à 08:02, Pjotr Prins a écrit : > With the recent SuSE announcement I hope Guix gets taken up as a > package manager on non-native Guix systems (Debian in particular). > What recent SuSE annoucement are you refering to?

Re: Roadmap for Guix 1.0

2018-08-19 Thread Amirouche Boubekki
://git.savannah.gnu.org/cgit/guix/maintenance.git/tree/doc/1.0.org I see no mention of containers. What is the status and goal about that subject? -- Amirouche ~ amz3 ~ http://www.hyperdev.fr

Re: Roadmap for Guix 1.0

2018-08-29 Thread Amirouche Boubekki
Le lun. 20 août 2018 à 09:45, Ricardo Wurmus a écrit : > > Amirouche Boubekki writes: > > >> I’ve pushed to guix/maintenance.git a list of things that IMO we should > >> do or might want to do for 1.0, with the understanding that 1.0 should > >> happen

Re: Roadmap for Guix 1.0

2018-08-29 Thread Amirouche Boubekki
"There are only two hard problems in Computer Science: cache invalidation and naming things" On 2018-07-30 03:23, Pjotr Prins wrote: On Sun, Jul 29, 2018 at 05:18:21PM +0200, Ludovic Courtès wrote: #+TITLE: Roadmap for Guix 1.0, 2018 * miscellaneous ** TODO “GuixSD” renamed to “Guix Sys

Subscription Canceled

2018-08-29 Thread Amirouche Boubekki
Hello, I don't receive mails from guix-devel anymore on my other mail box amirou...@hypermove.net. It is not the first time it happens. Do you know why? Best regards, Amirouche

Re: Subscription Canceled

2018-08-29 Thread Amirouche Boubekki
Thank you for your help! Le mer. 29 août 2018 à 20:31, Ricardo Wurmus a écrit : > > Hi Amirouche, > > > I don't receive mails from guix-devel anymore on my other mail box > > amirou...@hypermove.net. > > > > It is not the first time it happens. >

Re: Firefox 52's end of life, packaging Chromium

2018-08-29 Thread Amirouche Boubekki
Hello all :] I will confess that if I use Ubuntu today, long story short, it's because of the web browser. I could not find my way around patchelf so I gave up and installed Ubuntu. The matter relates to me a lot! Le mer. 29 août 2018 à 11:03, Clément Lassieur a écrit : > > Hi, > > Firefox 52 i

Re: Firefox 52's end of life, packaging Chromium

2018-08-29 Thread Amirouche Boubekki
Le jeu. 30 août 2018 à 00:35, Clément Lassieur a écrit : > > Hi Amirouche, > > Thanks for your answer. > > Amirouche Boubekki writes: > > > Let's choose our battle wisely. I want to remind that the core of the > > guix users are GNU followers and are al

Re: FOSDEM 2019

2018-08-30 Thread Amirouche Boubekki
On 2018-08-30 20:20, Pjotr Prins wrote: Just to clarify, we will organize a two day Guix conference before FOSDEM. That is pretty much in the box. We have room at ICAB, the place we were last year. http://icab.be/ About the specifically guix event, maybe it's a good time to organize an insta

Re: FOSDEM 2019

2018-08-30 Thread Amirouche Boubekki
On 2018-08-30 21:38, Amirouche Boubekki wrote: Open Space Technology (OST) is a method for organizing and running a meeting or multi-day conference, where participants have been invited in order to focus on a specific, important task or purpose. OST is a participant-driven process whose

Re: Roadmap for Guix 1.0

2018-08-31 Thread Amirouche Boubekki
> > >If we want an > > improved label for the Guix system distribution, the best one is > > probably "GuixOS" since "OS" is a widely used and recognized > > abbreviation ... > > Is exactly my opinion also, so it gets a +1 > Top 3: 1) GuixOS 2) Guix 3) Guix System

Re: FOSDEM 2019

2018-08-31 Thread Amirouche Boubekki
On 2018-08-31 11:35, Pjotr Prins wrote: Thanks Amirouche, On Thu, Aug 30, 2018 at 09:38:56PM +0200, Amirouche Boubekki wrote: On 2018-08-30 20:20, Pjotr Prins wrote: > Just to clarify, we will organize a two day Guix conference before > FOSDEM. That is pretty much in the box. We have r

Re: FOSDEM 2019 - devroom proposal

2018-09-01 Thread Amirouche Boubekki
Le ven. 31 août 2018 à 19:49, Pjotr Prins a écrit : > > On Fri, Aug 31, 2018 at 07:40:35PM +0200, Amirouche Boubekki wrote: > > > How about a dev-room for 'fun freedom programming languages'. It may get > > > a > > > white space talk. Then, if I think o

Re: GNU Mes 0.17 released [alpha]

2018-09-02 Thread Amirouche Boubekki
Le mar. 21 août 2018 à 23:43, Arne Babenhauserheide a écrit : > > > Jan Nieuwenhuizen writes: > > > We are delighted to announce the release of GNU Mes 0.17, representing > > 64 commits over 6 weeks. > > > > Mes is now an official GNU package and we have bootstrapped gcc-4.7.4 > > for x86-linux w

Re: [Feature idea] Adding wikidata, wikipedia & screenshot-url fields to package-recipes

2018-11-01 Thread Amirouche Boubekki
Hello, Like Pjotr I think it's a very good idea and the way forward. Find below my comments with some modulation. Le jeu. 1 nov. 2018 à 10:39, swedebugia a écrit : > > Hi > > I am a contributor to OSM and have seen how combining OSM and > Wikidata/Wikipedia (WP) has been very useful. > > I got

Re: CLI reorganization revisited

2018-11-08 Thread Amirouche Boubekki
> > I do not understand how args work. Is this documented somewhere? > > Also I do not understand this form: > > (define (guix-describe . args) >^ > What is the role of the dot? > The dot serve as a separator between 'required' argument and 'rest' arguments which is always a l

Re: Membership disabled due to excessive bounces

2018-11-11 Thread Amirouche Boubekki
had this issue before with any other mailing list (most of them also hosted by Mailman). I have the same issue with gandi, I use the webmail. -- Pierre Neidhardt https://ambrevar.xyz/ -- Amirouche ~ amz3 ~ http://www.hyperdev.fr

Re: [Cuirass] Missing database indexes?

2018-11-12 Thread Amirouche Boubekki
Hello all, Le lun. 12 nov. 2018 à 19:51, Björn Höfling < bjoern.hoefl...@bjoernhoefling.de> a écrit : > Hi Ludo, > > On Sun, 11 Nov 2018 18:06:00 +0100 > l...@gnu.org (Ludovic Courtès) wrote: > > > Indeed, that solves the problem for this simple example, thanks! > > > > Now, if I go back to the b

Re: [Cuirass] Missing database indexes?

2018-12-19 Thread Amirouche Boubekki
Did you consider using wiredtiger? Le lun. 19 nov. 2018 à 11:47, Danny Milosavljevic a écrit : > Hi Ludo, > > >It doesn’t seem to help much, perhaps because the query is too complex? > > Yeah, probably. > > According to the docs a log message is supposed to appear when it is doing > it. > > We s

Re: improve installation instructions

2019-01-05 Thread Amirouche Boubekki
Le sam. 5 janv. 2019 17:59, Ricardo Wurmus a écrit : > Hey, > > I just installed Guix as a package manager on an aarch64 box. The > manual makes it a little difficult to perform all these steps, because > the commands cannot be easily copied. We do have the shell script, but > the manual mentio

Re: Brain storming cool Guix features

2019-01-06 Thread Amirouche Boubekki
Le ven. 4 janv. 2019 à 18:14, a écrit : > - Guile and Scheme for Beginners book. > Regarding this topic, I just made a mini game to teach scheme, there very few exercices, let me know what you think http://scheme-lang.com/cons/

Re: e3 package don't work!!

2019-01-06 Thread Amirouche Boubekki
can you attach the dmesg output and strace? Le dim. 6 janv. 2019 à 16:23, Guy fleury a écrit : > hi all, > > this package does't work for me: > guy@guixSd ~$ e3 > Segmentation fault > > guy@guixSd ~$ uname -a > Linux guixSd 4.19.8-gnu #1 SMP 1 x86_64 GNU/Linux > > thanks, > guy > > >

Re: Brain storming cool Guix features

2019-01-06 Thread Amirouche Boubekki
Le dim. 6 janv. 2019 à 17:33, swedebugia a écrit : > Amirouche Boubekki skrev: (6 januari 2019 > 14:44:30 CET) > >Le ven. 4 janv. 2019 à 18:14, a écrit : > > > > > >> - Guile and Scheme for Beginners book. > >> > > > >Regarding this topic,

Re: e3 package don't work!!

2019-01-06 Thread Amirouche Boubekki
ed already [ 846.447644] 1487 (e3): Uhuuh, elf segment at 0804b000 requested but the memory is mapped already [ 855.708685] 1498 (e3): Uhuuh, elf segment at 0804b000 requested but the memory is mapped already > > > Le dim. 6 janv. 2019 à 19:05, Amirouche Boubekki < > a

Re: e3 package don't work!!

2019-01-06 Thread Amirouche Boubekki
Seems like it's a known bug. Try using another kernel as suggested in https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=913014 or apply the patch! Le dim. 6 janv. 2019 à 21:08, Amirouche Boubekki < amirouche.boube...@gmail.com> a écrit : > > > Le dim. 6 janv. 2019 à 21:03,

Re: Guix Days starting in two days!

2019-01-29 Thread Amirouche Boubekki
Le mar. 29 janv. 2019 12:09, Andreas Enge a écrit : > On Tue, Jan 29, 2019 at 10:58:24AM +0100, Ludovic Courtès wrote: > > We’ll update as > > needed to share practical info. Please email Pjotr, Manolis, Ricardo, > > or myself if you have any

Re: New videos: topic daily use.

2019-02-08 Thread Amirouche Boubekki
the use of manifests here at work, but I suppose this could be explained in another video (with a focus on reproducibility maybe). I am also looking for a video about manifests. -- Amirouche ~ amz3 ~ http://www.hyperdev.fr

Re: ‘staging’ merged!

2019-02-09 Thread Amirouche Boubekki
Great! So it is time for guix pull && guix package -u? Le sam. 9 févr. 2019 à 15:58, Ludovic Courtès a écrit : > Hello Guix! > > I’ve just merged the ‘staging’ branch as ‘guix weather’ reported a > rather sunny day. > > If you stumble upon build issues or bugs, please do report them and > let’s

Re: It's time to build "guix deploy"

2019-02-11 Thread Amirouche Boubekki
On 2019-02-11 15:47, Christopher Lemmer Webber wrote: Pjotr Prins writes: I am also interested in 'guix deploy', especially if it can run on top of Debian and handle HOME directories. Currently using a mixture of sysadmin heroics and my own cfengine style Ruby deploy tool ;). Happy to switch, t

Re: FOSDEM 2017 Schedule is there! Change of schedule!:wq

2017-01-03 Thread Amirouche Boubekki
excellent! Looking forward to this greatly :-) Alex -- Amirouche ~ amz3 ~ http://www.hyperdev.fr

Re: FOSDEM social dinner

2017-01-09 Thread Amirouche Boubekki
On 2017-01-09 14:37, Catonano wrote: 2017-01-06 10:46 GMT+01:00 Alex Sassmannshausen : Hello, Guile has a dev room at FOSDEM this year — for a whole day! The dev room will be on Sunday. Whilst organising it, we had the idea that it would be fun to have a Guile/Guix user & dev dinner on the Sa

Re: FOSDEM 2017 audio/video volunteers needed

2017-01-11 Thread Amirouche Boubekki
On 2017-01-11 09:05, Ricardo Wurmus wrote: Pjotr Prins writes: On Tue, Jan 10, 2017 at 04:02:32AM +, Pjotr Prins wrote: Hi all, FOSDEM provides live streaming of talks and archiving. We need volunteers to man the FOSS setup that handles the camera and mike. Ideally two people who expect

Re: guix is the guildhall that we always wanted!

2017-03-16 Thread Amirouche Boubekki
Who is going to build the guildhall v2.2? :-) idk ;) I have also a question, for guix community: What do you think of guix web, how one can improve it. The idea I have behind that question, is that maybe we should target to create a web ui for guix to improve guile experience. Amirouche ~ amz3 ~ http://hyperdev.fr

Another cli interface for guix/sd

2017-03-25 Thread Amirouche Boubekki
Héllo, This is a reply to a previous conversation that was started last year http://lists.gnu.org/archive/html/guix-devel/2016-04/msg00724.html To help you avoid the need to read the above long thread here is summary: a) We need to do something regarding guix cli b) We need to move commands insi

[PATCH] gnu: guile-bytestructures: Update to 91d042e

2017-04-22 Thread Amirouche Boubekki
From 9315163a42c57dd39ca16296cea5d60ec3697113 Mon Sep 17 00:00:00 2001 From: Amirouche Date: Sat, 22 Apr 2017 13:54:12 +0200 Subject: [PATCH] gnu: guile-bytestructures: Update to 91d042e * gnu/packages/guile.scm (guile-bytestructures): Update to 91d042e. --- gnu/packages/guile.scm | 6

Re: Automatically detect other OSs and generate grub entries

2017-07-17 Thread Amirouche Boubekki
On Mon, Jul 17, 2017 at 3:39 PM Ludovic Courtès wrote: > Arun Isaac skribis: > > > Instead of having to manually specify custom grub entries in config.scm, > > can Guix use os-prober to automatically detect other operating system > > and generate grub entries? > > > > https://joeyh.name/code/os-

Help understand some guix concepts

2018-01-01 Thread Amirouche Boubekki
Héllo, It's a long time I did not read the manual. So I read he manual this afternoon. I have to say that I don't really understand some guix concepts and how they map to the rest of the world. Can someone try to explain to me how the following concepts are related to each other: Environments,

Re: Help understand some guix concepts

2018-01-01 Thread Amirouche Boubekki
On Mon, Jan 1, 2018 at 8:31 PM Amirouche Boubekki < amirouche.boube...@gmail.com> wrote: > Héllo, > > It's a long time I did not read the manual. So I read he manual this > afternoon. > > I have to say that I don't really understand some guix concepts and how &

gnunet-guile reboot & guix

2018-01-12 Thread Amirouche Boubekki
Héllo all, I restarted from scratch the gnunet-guile bindings. It was made much easier thanks to the work of ng0 on gnunet documentation and guile-bytestructures to handle C structs and unions. You need guix from today with latest guile-bytestructures 1.0.1. You can get the code using the follo

Re: gnunet-guile reboot & guix

2018-01-13 Thread Amirouche Boubekki
On 2018-01-13 01:49, ng0 wrote: Amirouche Boubekki transcribed 1.5K bytes: Héllo all, I restarted from scratch the gnunet-guile bindings. It was made much easier thanks to the work of ng0 on gnunet documentation and guile-bytestructures to handle C structs and unions. ... I think I need to

Re: Manual (was: fully functional desktop installation)

2018-01-15 Thread Amirouche Boubekki
Does the manual want to avoid the fact that minimal knowledge of Scheme is required maybe we should add a small intro to guile or guix manual something maybe like my book called "a guile mind book" Le 15 janv. 2018 3:20 PM, "ng0" a écrit : > Ludovic Courtès transcribed 1.7K bytes: > > Hi Quiliro

Re: Dinner in Brussels?

2018-01-30 Thread Amirouche Boubekki
In for dinner on Friday. Le 30 janv. 2018 2:11 PM, "Gábor Boskovits" a écrit : > 2018-01-30 14:09 GMT+01:00 Julien Lepiller : > >> Le 30 janvier 2018 13:34:46 GMT+01:00, l...@gnu.org a écrit : >>> >>> Hello Guix! >>> >>> To those going to the Guix workshop in Brussels this Friday: who’s in >>> f

Re: Pre-built binaries vs. performance

2018-01-31 Thread Amirouche Boubekki
Le 31 janv. 2018 3:08 PM, "Ludovic Courtès" a écrit : Hello Guix! This post is a followup to our previous discussions on how to handle architecture-specific optimizations: https://guix-hpc.bordeaux.inria.fr/blog/2018/01/pre-built- binaries-vs-performance/ Comments welcome! Ludo’. Tx for t

Use guix to distribute data & reproducible (data) science

2018-02-09 Thread Amirouche Boubekki
Héllo all, tl;dr: Distribution of data and software seems similar. Data is more and more important in software and reproducible science. Data science ecosystem lakes resources sharing. I think guix can help. Recently I stumbled upon open data movement and its links with data

Re: Use guix to distribute data & reproducible (data) science

2018-02-10 Thread Amirouche Boubekki
On Fri, Feb 9, 2018 at 8:16 PM Konrad Hinsen wrote: > Hi, > > On 09/02/2018 18:13, Ludovic Courtès wrote: > > > Amirouche Boubekki skribis: > > > >> tl;dr: Distribution of data and software seems similar. > >> Data is more and m

Re: Use guix to distribute data & reproducible (data) science

2018-02-16 Thread Amirouche Boubekki
On Thu, Feb 15, 2018 at 6:11 PM zimoun wrote: > Hi, > > Thank you for this food for thought. > > > I agree that the frontier between code and data is arbitary. > > However, I am not sure to get the picture about the data management in > the context of Reproducible Science. What is the issue ? > >

Re: Use guix to distribute data & reproducible (data) science

2018-02-16 Thread Amirouche Boubekki
Hello again Ludovic, On 2018-02-09 18:13, ludovic.cour...@inria.fr wrote: Hi! Amirouche Boubekki skribis: tl;dr: Distribution of data and software seems similar. Data is more and more important in software and reproducible science. Data science ecosystem lakes resources

Re: GNU Guix 1.0.0 released

2019-05-03 Thread Amirouche Boubekki
Le jeu. 2 mai 2019 à 14:12, Ludovic Courtès a écrit : > We are thrilled to announce the release of GNU Guix 1.0.0! > > This 1.0 release is a major milestone for Guix. It represents 7 years > of hard work with more than 40,000 commits by 260 people, 19 releases, > and an equally amazing amount of

  1   2   >