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
On Wed, Oct 31, 2018 at 12:02 PM Bas Couwenberg 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/pr
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-d
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
