[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#99587: marked as done (playmidi: Missing symlinks for some man pages)



Your message dated 09 Dec 2001 13:21:47 +0100
with message-id <874rn0d1no.fsf@fuzz.i-did-not-set--mail-host-address--so-shoot-me>
and subject line playmidi: Missing symlinks for some man pages
has caused the attached Bug report to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere.  Please contact me immediately.)

Debian bug tracking system administrator
(administrator, Debian Bugs database)

--------------------------------------
Received: (at maintonly) by bugs.debian.org; 1 Jun 2001 18:03:43 +0000
>From cjwatson@auric.debian.org Fri Jun 01 13:03:42 2001
Return-path: <cjwatson@auric.debian.org>
Received: from auric.debian.org [206.246.226.45] 
	by master.debian.org with esmtp (Exim 3.12 1 (Debian))
	id 155tGv-0004m4-00; Fri, 01 Jun 2001 13:03:41 -0500
Received: from cjwatson by auric.debian.org with local (Exim 3.12 1 (Debian))
	id 155tGl-0001zH-00; Fri, 01 Jun 2001 14:03:31 -0400
From: Colin Watson <cjwatson@debian.org>
To: maintonly@bugs.debian.org
Subject: playmidi: Missing symlinks for some man pages
Message-Id: <E155tGl-0001zH-00@auric.debian.org>
Sender: Colin Watson <cjwatson@auric.debian.org>
Date: Fri, 01 Jun 2001 14:03:31 -0400
Delivered-To: maintonly@bugs.debian.org

Package: playmidi
Severity: normal

Hi,

An upcoming release of Debian policy, version 3.5.5.0, contains an amendment
which clarifies the way man pages need to be installed.

Until now, packages could install /usr/share/man/man1/foo.1.gz with 'foo,
bar \- programs to do something' in the NAME section and have no
corresponding symbolic link from bar.1.gz (policy suggested using a symbolic
link, but wasn't clear that it's required), and our man program happened to
magically figure it out for itself and display the right man page when you
typed 'man bar'. However, guaranteeing that this would work even when you've
recently installed some new packages has a serious performance impact on
man, as it frequently has to go and look through the filesystem to update
its database.

Before woody's base system is frozen, I intend to remove this "feature" from
man-db, so that its performance is consistent and acceptable for a
reasonable number of people. It isn't a standard feature even among the
various man page browsers in Debian, let alone in other Linux distributions,
so there should be no compatibility problems. However, your package seems to
rely on it, so this bug is being filed to let you know that the way some of
your man pages are installed needs to be improved in order to work properly
in woody. All you need to do, if you already have, say, foo(1) and expect
bar(1) to work as well, is install a symbolic link to foo.1.gz as bar.1.gz
(.so links and hard links are also OK, though symlinks are recommended).

Here's a list of man pages and the names that don't appear anywhere in the
filesystem:

  usr/X11R6/man/man1/xplaymidi.1.gz: playmidi
  usr/X11R6/man/man1/xplaymidi.1.gz: splaymidi
  usr/share/man/man1/playmidi.1.gz: xplaymidi

If the list looks odd, please check man(7) to see if the man page is
formatted properly. This output was generated by way of mandb, so if it's
confused then users will be too; if it turns out that it's done the wrong
thing, please reassign this bug to man-db so that I can fix it. I might not
have caught symlinks that are created in the postinst (say, using
alternatives); if that's the case, please close this bug.

Please see bug #94995 and policy 3.5.5 section 13.1 for more information,
and feel free to contact me if you need help.

Thanks,

-- 
Colin Watson, via a script

---------------------------------------
Received: (at 99587-done) by bugs.debian.org; 9 Dec 2001 12:11:16 +0000
>From mvela@public.srce.hr Sun Dec 09 06:11:16 2001
Return-path: <mvela@public.srce.hr>
Received: from jagor.srce.hr [161.53.2.130] (root)
	by master.debian.org with esmtp (Exim 3.12 1 (Debian))
	id 16D2nc-0000ST-00; Sun, 09 Dec 2001 06:11:16 -0600
Received: from fuzz (mail@asy12.cmu.carnet.hr [193.198.128.12])
	by jagor.srce.hr (8.9.3/8.9.3) with ESMTP id NAA08282
	for <99587-done@bugs.debian.org>; Sun, 9 Dec 2001 13:08:22 +0100 (MET)
Received: from mvela by fuzz with local (Exim 3.33 #1 (Debian))
	id 16D2xr-0005Zu-00
	for <99587-done@bugs.debian.org>; Sun, 09 Dec 2001 13:21:51 +0100
From: Matej Vela <vela@debian.org>
To: 99587-done@bugs.debian.org
Subject: Re: playmidi: Missing symlinks for some man pages
References: <E155tGl-0001zH-00@auric.debian.org>
Date: 09 Dec 2001 13:21:47 +0100
In-Reply-To: <E155tGl-0001zH-00@auric.debian.org>
Message-ID: <874rn0d1no.fsf@fuzz.i-did-not-set--mail-host-address--so-shoot-me>
Lines: 28
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Sender: Matej Vela <mvela@public.srce.hr>
Delivered-To: 99587-done@bugs.debian.org

man-db is confused:

  $ ls -l /usr/X11R6/man/man1/xplaymidi.1.gz /usr/share/man/man1/playmidi.1.gz
  lrwxrwxrwx    1 root     root           37 Dec  9 13:15 /usr/X11R6/man/man1/
  xplaymidi.1.gz -> ../../../share/man/man1/playmidi.1.gz
  -rw-r--r--    1 root     root         2702 Feb 24  1996 /usr/share/man/man1/
  playmidi.1.gz

  $ zcat /usr/share/man/man1/playmidi.1.gz | head -6
  .Dd 1 August 1994 (Modified 22 February 1996)
  .Dt PLAYMIDI 1
  .Os "Linux 1.3.60+"
  .Sh NAME
  .Nm playmidi, xplaymidi, splaymidi
  .Nd midi file player

  $ whatis playmidi xplaymidi
  playmidi (1)         - midi file player
  playmidi (1) [xplaymidi] - midi file player
  xplaymidi (1) [playmidi] - midi file player
  xplaymidi (1)        - midi file player

Anyway, this is a non-issue now that I've moved xplaymidi to /usr.


Thanks,

Matej



Reply to: