Bug#775741: update-alternatives for openjdk-7-jre-headless failed if no man folder exist

2015-03-11 Thread Matthias Klose
Control: tags -1 + wontfix

this is a deficiency in update-alternatives. the openjdk man pages are installed
in JAVA_HOME, so they do not get filtered and u-a then thinks it can install,
but it can't becuse the target directory does not exist.


-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org



Bug#775741: Update-alternatives for openjdk-7-jre-headless failed if no man folder exist

2015-01-19 Thread Tangi Colin
Package: openjdk-7-jre-headless

Version: 7u71-2.5.3-2~deb7u1_amd64

Severity: normal

Hi,

I have configured dpkg to disable installation of man page
(path-exclude /usr/share/man/*). It works fine for all packages expect
for openjdk-7-jre-headless package.

Problem is located into the postint script file line 65. This script
don't test that /usr/share/man/man1 exist so update-alternatives
failed with the following error:

Setting up openjdk-7-jre-headless:amd64 (7u71-2.5.3-2~deb7u1) ...
update-alternatives: using
/usr/lib/jvm/java-7-openjdk-amd64/jre/bin/java to provide
/usr/bin/java (java) in auto mode
update-alternatives: error: error creating symbolic link
`/usr/share/man/man1/java.1.gz.dpkg-tmp': No such file or directory
dpkg: error processing openjdk-7-jre-headless:amd64 (--configure):
 subprocess installed post-installation script returned error exit status 2


Other packages gracefully handled absence of man folder, for example if i
try to install nano i have the following output

 Setting up nano (2.2.6-1+b1) ...
update-alternatives: using /bin/nano to provide /usr/bin/editor
(editor) in auto mode
update-alternatives: warning: skip creation of
/usr/share/man/man1/editor.1.gz because associated file
/usr/share/man/man1/nano.1.gz (of link group editor) doesn't exist
update-alternatives: using /bin/nano to provide /usr/bin/pico (pico)
in auto mode
update-alternatives: warning: skip creation of
/usr/share/man/man1/pico.1.gz because associated file
/usr/share/man/man1/nano.1.gz (of link group pico) doesn't exist


Can you please fix the postint script file to allow to install
openjdk-7-jre-headless without the need of man folder.

Best Regards,

Tangi COLIN