Re: Few questions

[Emmanuel Medernach]

On Tue, May 12, 2020 at 10:04 AM zimoun <address@hidden> wrote:

> Dear,
>
> On Tue, 12 May 2020 at 09:22, Emmanuel Medernach
> <address@hidden> wrote:
>
> > - How to replace /tmp during build with another partition to avoid
> filling
> > it ?
>
> I do not know.
>
>
Or could it be added as an installation option ?



> > - How to compile with fewer parallel processus to avoid compilation
> errors
> > due to filled memory/swap ?
>
> Do the options '--cores' and '--max-jobs' work?
>
>
Yes thanks that's it.

>
> > - I accidently deleted one directory under /gnu/store, how to rebuild it
> ?
> >
> > # guix build ... ROOT
> > ;;; note: source file ..../ROOT.scm
> > ;;;       newer than compiled ..../ROOT.scm.go
> > /gnu/store/rj2ir3hmaanvwwvyy6d1a1qv0f0xp537-ROOT-6.20.02
> >
> > # ls /gnu/store/rj2ir3hmaanvwwvyy6d1a1qv0f0xp537-ROOT-6.20.02
> > ls: cannot access
> /gnu/store/rj2ir3hmaanvwwvyy6d1a1qv0f0xp537-ROOT-6.20.02:
> > No such file or directory
>
> guix build $(guix gc --derivers
> /gnu/store/rj2ir3hmaanvwwvyy6d1a1qv0f0xp537-ROOT-6.20.02)
>
>
Nothing happens, it does not recompile with 'guix build' and the directory
does not exist:

# guix build $(guix gc --derivers
/gnu/store/rj2ir3hmaanvwwvyy6d1a1qv0f0xp537-ROOT-6.20.02)
# ls /gnu/store/rj2ir3hmaanvwwvyy6d1a1qv0f0xp537-ROOT-6.20.02
ls: cannot access /gnu/store/rj2ir3hmaanvwwvyy6d1a1qv0f0xp537-ROOT-6.20.02:
No such file or directory

# guix build .. ROOT-6.20
;;; note: source file ..../ROOT.scm
;;;       newer than compiled ..../ROOT.scm.go
/gnu/store/rj2ir3hmaanvwwvyy6d1a1qv0f0xp537-ROOT-6.20.02
# ls /gnu/store/rj2ir3hmaanvwwvyy6d1a1qv0f0xp537-ROOT-6.20.02
ls: cannot access /gnu/store/rj2ir3hmaanvwwvyy6d1a1qv0f0xp537-ROOT-6.20.02:
No such file or directory

Thanks for your help

Emmanuel