Sorry Ludo, but I reinstalled the operating system yesterday. :-( Thanks to my customized config.scm, everything works fine here, including Tor. ;-)
BTW: I no longer use Tor in GNU IceCat with the Tor™ browser button, but directly via Proxy DNS when using SOCKS v5. Am Tue, 08 Jan 2019 23:46:36 +0100 schrieb Ludovic Courtès <l...@gnu.org>: > Hello, > > Ricardo Wurmus <rek...@elephly.net> skribis: > > >> Thanks, actually this would be the solution for me, but now I've > >> probably stumbled upon a real problem: > >> > >> user@gnu ~$ su > >> Password: ....... > >> root@gnu /home/user# guix system reconfigure /etc/config.scm > >> ....... > >> ....... > >> The following profile hooks will be built: > >> /gnu/store/rdc3rj3ycgvp4ryzjn0f30cpnpcq659m-manual-database.drv > >> /gnu/store/4kf8pyj9qfycq81flb3apd847kk5m8d9-info-dir.drv > >> /gnu/store/vq23i377lxy5fr04400kigpj34ah89h6-xdg-mime-database.drv > >> /gnu/store/zzy8vi3lp6h6f4lzxdrhs1zz975pn8p2-xdg-desktop-database.drv > >> building directory of Info manuals... > >> builder for > >> `/gnu/store/4kf8pyj9qfycq81flb3apd847kk5m8d9-info-dir.drv' failed > >> with exit code 1 build > >> of /gnu/store/4kf8pyj9qfycq81flb3apd847kk5m8d9-info-dir.drv > >> failed > > > > This is probably this bug: > > > > https://issues.guix.info/issue/28144 > > To be sure Archetyp, could you run: > > bzcat $(guix build > --log-file /gnu/store/4kf8pyj9qfycq81flb3apd847kk5m8d9-info-dir.drv) > > and send the output? > > Also, was the ‘guix’ command you’re running produced by ‘guix pull’? > > Thanks, > Ludo’. -- Sent from GNU