В письме от четверг, 3 января 2019 г. 10:03:53 MSK пользователь Michael Paquier написал: > On Wed, Jan 02, 2019 at 11:35:46AM -0500, Tom Lane wrote: > > In fact, that's demonstrably not so: on my RHEL6 and Fedora boxes, > > /usr/bin/etags isn't owned by any package, because it's a symlink > > managed by the "alternatives" system. It points to /usr/bin/etags.emacs > > which is owned by the emacs-common package. So dropping the advice > > about how to fix the problem seems like a good plan. > > +1, let's keep it simple. I would just use "ctags/etags not found" > as error message.
Actually I was trying to say "Please install 'ctags' [utility] to run make_ctags". But if all of you read it as "Please install 'ctags' [package] to run make_ctags", then it is really better to drop the advice. So I removed it. See the patch.
diff --git a/src/tools/make_ctags b/src/tools/make_ctags index 1609c07..0834468 100755 --- a/src/tools/make_ctags +++ b/src/tools/make_ctags @@ -2,6 +2,12 @@ # src/tools/make_ctags +if [ ! $(command -v ctags) ] +then + echo "'ctags' utility is not found" 1>&2 + exit 1 +fi + trap "rm -f /tmp/$$" 0 1 2 3 15 rm -f ./tags diff --git a/src/tools/make_etags b/src/tools/make_etags index 3ce96bc..cb44aed 100755 --- a/src/tools/make_etags +++ b/src/tools/make_etags @@ -2,6 +2,12 @@ # src/tools/make_etags +if [ ! $(command -v etags) ] +then + echo "'etags' utility is not found" 1>&2 + exit 1 +fi + rm -f ./TAGS find `pwd`/ -type f -name '*.[chyl]' -print |
