Re: Manage ssh public keys?

2015-04-10 Thread Ludovic Courtès
Joe Hillenbrand skribis: > Something to keep in mind is what a user means when they add a "files" > argument to user-account. I take this to mean "I want the operating > system configurations to manage this file, not the user", which to me > means, clobber a file if it is already there and symlin

Re: Manage ssh public keys?

2015-04-10 Thread David Thompson
Ludovic Courtès writes: > Joe Hillenbrand skribis: > >> The question then is, what happens when the configuration changes from >> having a "files" argument to not having one. What happens to the >> links? > > Good point. I’d say we just remove the symlinks. Agreed, but how do we do the diff su

Re: [PATCH] gnu: Add WebKitGTK+.

2015-04-10 Thread 宋文武
2015-04-11 1:54 GMT+08:00 Mark H Weaver : > 宋文武 writes: >> * gnu/packages/gnome.scm (webkitgtk): New variable. > > Wow, this is great, thanks! > > Well, almost. I applied this to my master branch and tried to compile > it on i686 and got this: > > --8<---cut here---start--