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