Re: declare(1) not executing inside source'd script

[Frank]

Agreed.  But the bash installation does create a man page for it, does it not?  
So a command like, “man 1 declare” does work...?  I always thought this was 
somewhat incongruous.
--
Frank Edwards
Edwards & Edwards Consulting, LLC
Hours:  10A-6P ET
Phone:  (813) 406-0604

Sent from my iPhone.  No electrons were harmed in the creation or transmission 
of this message.

> On Jul 27, 2018, at 10:09 AM, Greg Wooledge <wooledg@eeg.ccf.org> wrote:
> 
>> On Fri, Jul 27, 2018 at 12:26:06AM -0400, frank@eec.com wrote:
>>    produce any output (making me think that declare(1)
>>    isn't being executed at all).
> 
> For the record, declare is a builtin, not an external command with a
> man page in the (1) section, so writing "declare(1)" is extremely
> misleading.