<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">On Wed, Oct 31, 2018 at 12:02 PM Bas Couwenberg <<a href="mailto:sebastic@xs4all.nl">sebastic@xs4all.nl</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 2018-10-31 16:51, Vaclav Petras wrote:<br>
> Am I missing something? Is the package broken? Should I open a ticket <br>
> and<br>
> where?<br>
<br>
Doesn't look like the package is broken:<br>
<br>
  $ wget -q <br>
<a href="https://launchpad.net/ubuntu/+archive/primary/+files/grass-doc_7.4.0-1_all.deb" rel="noreferrer" target="_blank">https://launchpad.net/ubuntu/+archive/primary/+files/grass-doc_7.4.0-1_all.deb</a> <br>
-P /tmp/<br>
  $ dpkg-deb -c /tmp/grass-doc_7.4.0-1_all.deb | grep grass_logo.png<br>
  -rw-r--r-- root/root      1702 2018-01-26 11:31 <br>
./usr/share/doc/grass-doc/html/grass_logo.png<br></blockquote><div><br></div><div>I got the deb file and did couple of these (not sure how it works, there was some downgrading and upgrading):<br></div></div><br><div class="gmail_quote">apt install /tmp/grass-doc_7.4.0-1_all.deb<br></div><div class="gmail_quote">dpkg -i /tmp/grass-doc_7.4.0-1_all.deb</div><div class="gmail_quote">apt-get install -f</div><div class="gmail_quote">apt-get upgrade<br></div><div class="gmail_quote"><br></div><div class="gmail_quote">I still get:<br></div><div class="gmail_quote"><br></div><div class="gmail_quote">ls /usr/share/doc/grass-doc/html/grass_logo.png<br>ls: cannot access '/usr/share/doc/grass-doc/html/grass_logo.png': No such file or directory<br></div><br></div><div dir="ltr">I did it in two different docker containers with same result.</div><div dir="ltr"><br></div><div dir="ltr">docker run --rm -it ubuntu:18.04</div><div dir="ltr"><br></div></div></div></div></div></div></div>