Re: [PATCH v2] mountlist: additional dummy FS names for Linux

2012-12-13 Thread Eric Wong
Jim Meyering wrote: > Thanks. I've tweaked the log and added a matching ChangeLog entry. > Testing via df on my F18 laptop, diff -u <(src/df-prev) <(src/df) > shows no difference. What do people think of this entry from > that F18 system? > > devtmpfs 15383040 1538304 0%

Re: [PATCH v2] mountlist: additional dummy FS names for Linux

2012-12-13 Thread Jim Meyering
Eric Wong wrote: > Jim Meyering wrote: >> Eric Wong wrote: >> > * lib/mountlist.c (ME_DUMMY_0): >> > additional dummy FS names for Linux systems. >> > - "devpts" PTY slave filesystem >> > - "fusectl" control filesystem for FUSE >> > - "mqueue" enumerates POSIX message queues >> > - "rpc

Re: [off-list] CVS pains (was: Re: gnu-web-doc-update: fails to add new directories)

2012-12-13 Thread Karl Berry
Wouldn't it be great if someone could convince the Savannah admin 1) It's not a matter of just changing savannah. There are numerous (*numerous*) processes involved with web pages repositories, most of which are written, maintained, and controlled by the FSF sysadmins, not Savannah. FSF sysa

Re: [off-list] CVS pains

2012-12-13 Thread Simon Josefsson
Stefano Lattarini writes: > Ah, we all git lovers still forced to deal with that living fossil > of CVS! > > Wouldn't it be great if someone could convince the Savannah admin > to switch the web pages repository to a modern, distributed VCS? +1 The gnu.org webpages is one of only a handful of p

Re: [PATCH] gnupload: Work with GnuPG using gpg-agent (for smartcards).

2012-12-13 Thread Simon Josefsson
Jim Meyering writes: > Simon Josefsson wrote: >> I have pushed this -- it allows me to use gnupload with the GnuPG >> private key on a smartcard to upload to ftp.gnu.org. > > I've wanted that for a long time. Thanks a lot! I'm still not sure smartcard signing works -- my upload to ftp.gnu.org w

Re: CVS pains

2012-12-13 Thread Stefano Lattarini
On 12/13/2012 06:09 PM, Jim Meyering wrote: > Stefano Lattarini wrote: >> Ah, we all git lovers still forced to deal with that living fossil >> of CVS! >> Oops, I meant this as "private venting" only, but I sent it to the whole list by mistake. Sorry for the extra noise. Stefano

Re: CVS pains

2012-12-13 Thread Jim Meyering
Stefano Lattarini wrote: > Ah, we all git lovers still forced to deal with that living fossil > of CVS! > > Wouldn't it be great if someone could convince the Savannah admin > to switch the web pages repository to a modern, distributed VCS? If it weren't mostly abstracted/automated away, I would h

Re: gnu-web-doc-update: fails to add new directories

2012-12-13 Thread Jim Meyering
Akim Demaille wrote: > Le 13 déc. 2012 à 15:35, Jim Meyering a écrit : > >> Hi Akim! > > Hi Jim! > >> Thanks for the investigation and report. >> If using --types='?D' makes it work, I'd go with that: >> that seems simpler than changing the external cvsu program. > > OK. But it will require some

[off-list] CVS pains (was: Re: gnu-web-doc-update: fails to add new directories)

2012-12-13 Thread Stefano Lattarini
Ah, we all git lovers still forced to deal with that living fossil of CVS! Wouldn't it be great if someone could convince the Savannah admin to switch the web pages repository to a modern, distributed VCS? (Me ducks and run now ;-). Regards, Stefano

Re: gnu-web-doc-update: fails to add new directories

2012-12-13 Thread Akim Demaille
Le 13 déc. 2012 à 15:35, Jim Meyering a écrit : > Hi Akim! Hi Jim! > Thanks for the investigation and report. > If using --types='?D' makes it work, I'd go with that: > that seems simpler than changing the external cvsu program. OK. But it will require some implementation of a fix point. $

Re: gnu-web-doc-update: fails to add new directories

2012-12-13 Thread Jim Meyering
Akim Demaille wrote: > The Bison's documentation now uses images, including in HTML. > gendocs.sh properly sets up a directory with the images for all the > documentation formats. Unfortunately gnu-web-doc-update fails to add > all the new files, because it fails to discover new directories. > >

gnu-web-doc-update: fails to add new directories

2012-12-13 Thread Akim Demaille
Hi! The Bison's documentation now uses images, including in HTML. gendocs.sh properly sets up a directory with the images for all the documentation formats. Unfortunately gnu-web-doc-update fails to add all the new files, because it fails to discover new directories. My CVS-skills are, ahem,