[GRASS-dev] Wrong or broken doc package for Ubuntu?

Hi,

I have some issues getting GRASS GIS documentation in Ubuntu 18.04:

docker run --rm -it ubuntu:18.04

I use the standard package (no PPA):

apt-get update

apt-get install grass-doc

However, the documentation files are not there. For example, the following

ls /usr/lib/grass74/docs/html/grass_logo.png
ls /usr/share/doc/grass-doc/html/grass_logo.png

gives

ls: cannot access ‘/usr/lib/grass74/docs/html/grass_logo.png’: No such file or directory
ls: cannot access ‘/usr/share/doc/grass-doc/html/grass_logo.png’: No such file or directory

The parent directory …/docs/html/ is there with barscales, colortables, icons, jquery, and northarrows as content.

When I look in which package the file is supposed to be, grass-doc is the answer.

apt-get install apt-file

apt-file update

apt-file find grass_logo.png

grass-doc: /usr/share/doc/grass-doc/html/grass_logo.png

Installing grass, grass-dev, or grass-gui packages makes no difference. Using ppa:ubuntugis/ubuntugis-unstable gives the same too.

Am I missing something? Is the package broken? Should I open a ticket and where?

Vaclav

On 2018-10-31 16:51, Vaclav Petras wrote:

Am I missing something? Is the package broken? Should I open a ticket and
where?

Doesn't look like the package is broken:

  $ wget -q https://launchpad.net/ubuntu/+archive/primary/+files/grass-doc_7.4.0-1_all.deb -P /tmp/
  $ dpkg-deb -c /tmp/grass-doc_7.4.0-1_all.deb | grep grass_logo.png
  -rw-r--r-- root/root 1702 2018-01-26 11:31 ./usr/share/doc/grass-doc/html/grass_logo.png

Kind Regards,

Bas

On Wed, Oct 31, 2018 at 12:02 PM Bas Couwenberg <sebastic@xs4all.nl> wrote:

On 2018-10-31 16:51, Vaclav Petras wrote:

Am I missing something? Is the package broken? Should I open a ticket
and
where?

Doesn’t look like the package is broken:

$ wget -q
https://launchpad.net/ubuntu/+archive/primary/+files/grass-doc_7.4.0-1_all.deb
-P /tmp/
$ dpkg-deb -c /tmp/grass-doc_7.4.0-1_all.deb | grep grass_logo.png
-rw-r–r-- root/root 1702 2018-01-26 11:31
./usr/share/doc/grass-doc/html/grass_logo.png

I got the deb file and did couple of these (not sure how it works, there was some downgrading and upgrading):

apt install /tmp/grass-doc_7.4.0-1_all.deb

dpkg -i /tmp/grass-doc_7.4.0-1_all.deb
apt-get install -f
apt-get upgrade

I still get:

ls /usr/share/doc/grass-doc/html/grass_logo.png
ls: cannot access ‘/usr/share/doc/grass-doc/html/grass_logo.png’: No such file or directory

I did it in two different docker containers with same result.

docker run --rm -it ubuntu:18.04

On 11/1/18 2:02 AM, Vaclav Petras wrote:

I did it in two different docker containers with same result.

docker run --rm -it ubuntu:18.04

Perhaps docker is the problem. Try a proper Ubuntu xenial VM.

Kind Regards,

Bas

--
GPG Key ID: 4096R/6750F10AE88D4AF1
Fingerprint: 8182 DE41 7056 408D 6146 50D1 6750 F10A E88D 4AF1