help / color / mirror / Atom feed
* Debian's more is /bin/more, not /usr/bin/more
@ 2015-04-25 14:16 Lorenzo Beretta
  2015-04-29 11:11 ` Ingo Schwarze
  0 siblings, 1 reply; 2+ messages in thread
From: Lorenzo Beretta @ 2015-04-25 14:16 UTC (permalink / raw)
  To: tech

Just a minor annoyance, but anyway...

# download & install mdocml...
$ man ls
man: exec: No such file or directory
$ type man more
man is /usr/local/bin/man
more is /bin/more
$ PAGER="more -s" man ls
# manpage is shown correctly

Until we solve /bin vs /usr/bin (cough gobolinux cough , how about 
defaulting to "more -s" instead of "/usr/bin/more -s"?

Regardless, the error message wasn't really clear - could you replace
     fprintf(stderr, "%s: exec: %s\n",
         progname, strerror(errno));
with something like
     fprintf(stderr, "%s: exec %s: %s\n",
         progname, argv[0], strerror(errno));


 To unsubscribe send an email to

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2015-04-29 11:11 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-04-25 14:16 Debian's more is /bin/more, not /usr/bin/more Lorenzo Beretta
2015-04-29 11:11 ` Ingo Schwarze

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).