#66842 closed defect (fixed)
gsed @4.9 does not install (register) its texinfo file in dir file
Reported by: | ballapete (Peter "Pete" Dyballa) | Owned by: | Marius Schamschula <mschamschula@…> |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | 2.8.1 |
Keywords: | Cc: | mps@… | |
Port: | gsed |
Description
sh-3.2# pushd /opt/local/share/info ; for INFO in *.info ; do INFO="`echo $INFO | awk -F. '{ print $1 }'`"; printf "»» $INFO: "; if [ `grep "\($INFO\)" dir | wc -l` -gt 0 ] ; then echo OK ; else echo "** missing **" ; fi; done
reports
»» gsed: ** missing **
All all hints of gsed
are missing in dir
file.
install-info gsed.info dir
would do the job.
Change History (3)
comment:1 Changed 22 months ago by ballapete (Peter "Pete" Dyballa)
comment:2 Changed 22 months ago by Marius Schamschula <mschamschula@…>
Owner: | set to Marius Schamschula <mschamschula@…> |
---|---|
Resolution: | → fixed |
Status: | new → closed |
comment:3 Changed 22 months ago by ballapete (Peter "Pete" Dyballa)
The updated version of Portfile
still has a fault. It installs
DEBUG: activating file: /opt/local/share/man/man1/gsed.1.gz DEBUG: Executing proc-post-org.macports.activate-activate-0 DEBUG: Registering GNU info file /opt/local/share/info/gsed.info in /opt/local/share/info/dir using /opt/local/bin/install-info DEBUG: system: /opt/local/bin/install-info /opt/local/share/info/gsed.info /opt/local/share/info/dir DEBUG: Executing portactivate::activate_finish DEBUG: Executing org.macports.main (gsed)
as
* sed: (sed). Stream EDitor.
and so the INFO file
-rw-r--r-- 1 root wheel 212886 2023-02-06 02:49 gsed.info
is unavailable. The problem is not solved yet.
Note: See
TracTickets for help on using
tickets.
It does not work straight forward… The cause is in the INFO-DIR-SECTION of the INFO file which contains:
and so the
info
utility gets directed to a filesed.info
which does not actually exist here. More patching is needed.