Re: 02/03: gnu: giac-xcas: Add inputs.

2019-04-28 Thread Christopher Baines
guix-comm...@gnu.org writes: > ngz pushed a commit to branch master > in repository guix. > > commit 6d3896b9fc115b03046860a9aa12966926bccf53 > Author: Nicolas Goaziou > Date: Sun Apr 28 21:35:07 2019 +0200 > > gnu: giac-xcas: Add inputs. > > * gnu/packages/algebra.scm (giac-xcas)[inpu

Re: Guix on a microkernel

2019-04-28 Thread Vasilii Kolobkov
My .2 cryptocoins, but you might find it interesting in evaluating HURD as a kernerl for Guix system. Frankly, I haven't been following HURD development and don't know how much's changed since. [[http://walfield.org/papers/200707-walfield-critique-of-the-GNU-Hurd.pdf]] -- v, pgp key 0xFF3C727297

Re: fuse & sshfs

2019-04-28 Thread Tobias Geerinckx-Rice
Efraim Flashner wrote: I looked into bumping it a while ago and I ended up down a rabbit hole I didn't really want to venture into. Don't really remember much beyond that unfortunately. Hah, me too! Probably a longer while ago. I wonder how many other people-hours have vanished down this ex

Re: fuse & sshfs

2019-04-28 Thread Efraim Flashner
On Fri, Apr 26, 2019 at 09:31:20PM -0500, Brett Gilio wrote: > Hi all, > > With 1.0 around the corner, is there any priority for packages like > fuse? The latest release is 3.5 and we are using 2.9. > > All of these packages depend on it > casync@2 multipath-tools@0.7.9 fio@3.13 python-llfuse@0.4

Re: "System Package" vs "System Service"

2019-04-28 Thread Danny Milosavljevic
Hi, On Sun, 28 Apr 2019 11:59:59 -0400 Raghav Gururajan wrote: > I have this confusion/doubt. What is the difference between declaring > something as "System Package" vs "System Service" in the Guix System > Configuration? A package is a thing that is present in your system and just stays put,

"System Package" vs "System Service"

2019-04-28 Thread Raghav Gururajan
Hello Guix! I have this confusion/doubt. What is the difference between declaring something as "System Package" vs "System Service" in the Guix System Configuration? For example, if I have application[s] (installed as user or in system) that uses Tor to connect to Internet via Tor Network; is it

Re: Feature Request for Guix Site

2019-04-28 Thread Raghav Gururajan
Ah! Sorry, I totally over-looked. I assumed "help" as "support". Like email or chat support. On Sun, 2019-04-28 at 14:55 +0200, Ludovic Courtès wrote: > Hello, > "Raghav Gururajan" skribis: > Can someone who have admin privileges, add "Manual" tab to the menu > of Guix Site (www.gnu.org/software/g

Re: Feature Request for Guix Site

2019-04-28 Thread Raghav Gururajan
xD. That actually makes sense. "Help" is actually the right term in this context. My bad. On Sun, 2019-04-28 at 09:14 -0500, sirgazil wrote: > El 28/04/19 a las 7:55 a. m., Ludovic Courtès escribió: > Hello, > "Raghav Gururajan" skribis: > Can someone who have admin privileges, add "Manual" tab to

guile-bash updated source url

2019-04-28 Thread david . larsson
Hello Guix, This is my first contribution to guix and it's just a minor fix for the guile-bash package which had an outdated source url. I was able to retrieve the same revision of the package via the software-heritage project's website and upload it to gitlab. Then I installed it successfully vi

Re: Feature Request for Guix Site

2019-04-28 Thread sirgazil
El 28/04/19 a las 7:55 a. m., Ludovic Courtès escribió: Hello, "Raghav Gururajan" skribis: Can someone who have admin privileges, add "Manual" tab to the menu of Guix Site (www.gnu.org/software/guix), which links to the Guix Manual (www.gnu.org/software/guix/manual)? There’s already a “He

‘staging’ merged!

2019-04-28 Thread Ludovic Courtès
Hello Guix! I’m happy to report that I’ve finally merged ‘staging’! The branch brings lots of updates, notably GNOME 2.28 (was 2.24). Up-to-date substitutes are available from . Thanks to everyone who worked hard to make this happen! Ludo’.

Re: Feature Request for Guix Site

2019-04-28 Thread Ludovic Courtès
Hello, "Raghav Gururajan" skribis: > Can someone who have admin privileges, add "Manual" tab to the menu of Guix > Site (www.gnu.org/software/guix), which links to the Guix Manual > (www.gnu.org/software/guix/manual)? There’s already a “Help” entry in the menu, which I think is good enough, t

Re: ISO installer image: GPT versus MBR partitions

2019-04-28 Thread Ludovic Courtès
Hi Thomas, "Thomas Schmitt" skribis: > Ludovic Courtès wrote: >> I don’t feel like distributing two variants of the ISO per architecture. > > Then i guess the most early opportunity for my proposal to get > into production is after the upcomming Guix release. Sounds good to me. Thanks again fo

Re: Alternative VPN Clients

2019-04-28 Thread swedebugia
On 2019-04-28 11:17, Dexter Morgan wrote: > How can I use it with GNOME NetworkManager ? I think thats not supported yet. >   > *Sent:* Thursday, April 25, 2019 at 2:37 PM > *From:* "Leo Famulari" > *To:* "Dexter Morgan" > *Cc:* guix-devel@gnu.org > *Subject:* Re: Alternative VPN Clients > On W

Re: Alternative VPN Clients

2019-04-28 Thread Dexter Morgan
How can I use it with GNOME NetworkManager ?   Sent: Thursday, April 25, 2019 at 2:37 PM From: "Leo Famulari" To: "Dexter Morgan" Cc: guix-devel@gnu.org Subject: Re: Alternative VPN Clients On Wed, Apr 24, 2019 at 06:01:49AM +0200, Dexter Morgan wrote: > My friend introduced me to GNU/Linux and

Re: Alternative VPN Clients

2019-04-28 Thread Dexter Morgan
Sorry! I tried to understand. But too much at the moment. Have to focus on other things. :( Gonna take baby steps starting with bash.   Sent: Wednesday, April 24, 2019 at 1:26 PM From: "Danny Milosavljevic" To: "Dexter Morgan" Cc: guix-devel@gnu.org Subject: Re: Alternative VPN Clients Hi, if