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

Закрыто
7 лет назад открыта JasKinasis · комментариев: 2
JasKinasis прокомментировал 7 лет назад

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 упомянул эту задачу в коммите 7 лет назад
JasKinasis прокомментировал 7 лет назад
Владелец

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 упомянул эту задачу в коммите 7 лет назад
JasKinasis прокомментировал 7 лет назад
Владелец

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!
Войдите, чтобы присоединиться к обсуждению.
Нет меток
Bug
Нет этапа
Нет ответственного
1 участников
Загрузка...
Отмена
Сохранить
Пока нет содержимого.