#1 Install script sometimes fails when trying to install man pages...

Closed
opened 6 years ago by JasKinasis · 2 comments

One user running Linux Mint 18.3 "Sylvia" - has reported problems with the installation script failing to install man-pages with the error:
cp: target '/usr/local/share/man/man1/' is not a directory

I was working under the assumption that /usr/local/share/man/man1 was the standard location for man-pages for programs installed in /usr/local/bin and that the path would always exist.... Looks like that assumption of mine was mistaken.

I could just make the installer force-create the path /usr/local/share/man/man1/ and copy the man files there. But that might not be the correct thing to do. I don't know what the man/manpath system would do. Would it auto-detect the new folders and add them to the man-path? Or would this lead to problems?

Awaiting more information from the user about the setup of manpath on the machine running Mint.

One user running Linux Mint 18.3 "Sylvia" - has reported problems with the installation script failing to install man-pages with the error: `cp: target '/usr/local/share/man/man1/' is not a directory` I was working under the assumption that `/usr/local/share/man/man1` was the standard location for man-pages for programs installed in `/usr/local/bin` and that the path would always exist.... Looks like that assumption of mine was mistaken. I could just make the installer force-create the path `/usr/local/share/man/man1/` and copy the man files there. But that might not be the correct thing to do. I don't know what the man/manpath system would do. Would it auto-detect the new folders and add them to the man-path? Or would this lead to problems? Awaiting more information from the user about the setup of manpath on the machine running Mint.
JasKinasis commented 6 years ago
Owner

After further feedback from the user, it appears that /usr/local/share/man/ exists and was in their manpath. The problem was that the man1 subdirectory didn't exist.

So the bug was caused by my apparently naive assumption that the destination directories would always exist. File under: ass/u/me XD

The install script has been updated to forcibly create the required paths before copying files.

Fix committed in 2363da5791

I will close this issue when I have confirmation from the user that this patch fixed the issue for them.

After further feedback from the user, it appears that `/usr/local/share/man/` exists and was in their manpath. The problem was that the `man1` subdirectory didn't exist. So the bug was caused by my apparently naive assumption that the destination directories would always exist. File under: ass/u/me XD The install script has been updated to forcibly create the required paths before copying files. Fix committed in [2363da5791](https://notabug.org/JasKinasis/note/commit/2363da5791f0c377df566d14b9dec448b929967c) I will close this issue when I have confirmation from the user that this patch fixed the issue for them.
JasKinasis referenced this issue from a commit 6 years ago
JasKinasis commented 6 years ago
Owner

What a muppet I am!

The previous fix was incomplete. I forgot to append /man1 to the end of the line 19, where the subdir for the man pages is created. ::rolleyes::

Fix commited in 7bdae052cf

I am confident enough that this is fixed now, so I will close this bug!

What a muppet I am! The previous fix was incomplete. I forgot to append /man1 to the end of the line 19, where the subdir for the man pages is created. ::rolleyes:: Fix commited in [7bdae052cf](https://notabug.org/JasKinasis/note/commit/7bdae052cf26fef4e8f30dcd19b76db6cbec4b2d) I am confident enough that this is fixed now, so I will close this bug!
Sign in to join this conversation.
No Label
Bug
No Milestone
No assignee
1 Participants
Loading...
Cancel
Save
There is no content yet.