Debian bug report logs - #850 , boring messages ----------------------------------------------------------------------- Message sent to debian-devel@pixar.com: Subject: Bug#850: [indent] option mentioned in documentation not supported Reply-To: jdassen@wi.leidenuniv.nl (J.H.M.Dassen), debian-bugs@pixar.com Resent-To: debian-devel@pixar.com Resent-From: jdassen@wi.leidenuniv.nl (J.H.M.Dassen) Resent-Sender: iwj10@cus.cam.ac.uk Resent-Date: Tue, 02 May 1995 08:18:07 GMT Resent-Message-ID: X-Debian-PR-Package: indent X-Debian-PR-Keywords: Received: via spool for debian-bugs; Tue, 02 May 1995 08:18:07 GMT Received: with rfc822 via encapsulated-mail id 050208070622625; Tue, 02 May 1995 08:07:06 GMT Received: from pixar.com by mongo.pixar.com with smtp (Smail3.1.28.1 #15) id m0s6Cxl-0006H5C; Tue, 2 May 95 01:05 PDT Received: from mailhost.WI.LeidenUniv.NL (zeus128.wi.leidenuniv.nl) by pixar.com with SMTP id AA03870 (5.65c/IDA-1.4.4 for ); Tue, 2 May 1995 01:05:35 -0700 Received: from ipx139a.wi.leidenuniv.nl (jdassen@ipx139a [132.229.128.32]) by mailhost.WI.LeidenUniv.NL (8.6.10a/FHM-1.20-M) with ESMTP id KAA01871 for ; Tue, 2 May 1995 10:05:31 +0200 (MET) From: jdassen@wi.leidenuniv.nl (J.H.M.Dassen) Organization: Leiden University, Dept. of Mathematics & Computer Science, The Netherlands Received: from (jdassen@localhost) by ipx139a.wi.leidenuniv.nl (8.6.10a/FHM-1.01-S) id KAA08879 for debian-bugs@pixar.com; Tue, 2 May 1995 10:06:02 +0200 (MET) Message-Id: <199505020806.KAA08879@ipx139a.wi.leidenuniv.nl> To: debian-bugs@pixar.com Date: Tue, 2 May 1995 10:06:01 +0200 (MET DST) Return-Receipt-To: jdassen@wi.leidenuniv.nl X-Home-Page: X-Mailer: ELM [version 2.4 PL22] Content-Type: text Content-Length: 845 Package: indent Version: 1.9.1-7 The info documentation for indent ("Edition 1.3, January 1994, of `The `indent' Manual', for Indent Version 1.9") states in the option summary: `-bbb' `--blank-lines-after-block-comments' Force blank lines after block comments Both the short and the long version do not work. "indent -st -bbb file.c" results in 'indent: unknown option "-bbb"'; "indent -st --blank-lines-after-block-comments file.c" results in 'indent: unknown option "-blank-lines-after-block-comments"' (yes, one starting "-"). Regards, Ray -- LEADERSHIP A form of self-preservation exhibited by people with auto- destructive imaginations in order to ensure that when it comes to the crunch it'll be someone else's bones which go crack and not their own. - The Hipcrime Vocab by Chad C. Mulligan ----------------------------------------------------------------------- Message sent: From: iwj10@thor.cam.ac.uk (Ian Jackson) To: jdassen@wi.leidenuniv.nl (J.H.M.Dassen) Subject: Bug#850: Acknowledgement (was: [indent] option mentioned in documentation not supported) In-Reply-To: <199505020806.KAA08879@ipx139a.wi.leidenuniv.nl> References: <199505020806.KAA08879@ipx139a.wi.leidenuniv.nl> Thank you for the problem report you have sent regarding Debian GNU/Linux. This is an automatically generated reply, to let you know your message has been received. It is being forwarded to the developers' mailing list for their attention; they will reply in due course. If you wish to submit further information on your problem, please send it to debian-bugs@pixar.com, but please ensure that the Subject line of your message starts with "Bug#850" or "Re: Bug#850" so that we can identify it as relating to the same problem. Please do not reply to the address at the top of this message, unless you wish to report a problem with the bug-tracking system. Ian Jackson (maintainer, debian-bugs) ----------------------------------------------------------------------- Message sent to debian-devel@pixar.com: Subject: Bug#850: indent] option mentioned in documentation not supported Reply-To: Bill Mitchell , debian-bugs@pixar.com Resent-To: debian-devel@pixar.com Resent-From: Bill Mitchell Resent-Sender: iwj10@cus.cam.ac.uk Resent-Date: Wed, 03 May 1995 01:03:02 GMT Resent-Message-ID: X-Debian-PR-Package: indent X-Debian-PR-Keywords: Received: via spool for debian-bugs; Wed, 03 May 1995 01:03:02 GMT Received: with rfc822 via encapsulated-mail id 05030056287009; Wed, 03 May 1995 00:56:28 GMT Received: from pixar.com by mongo.pixar.com with smtp (Smail3.1.28.1 #15) id m0s6Sim-00063yC; Tue, 2 May 95 17:55 PDT Received: from motgate.mot.com by pixar.com with SMTP id AA02593 (5.65c/IDA-1.4.4 for ); Tue, 2 May 1995 17:55:17 -0700 Received: from pobox.mot.com (pobox.mot.com [129.188.137.100]) by motgate.mot.com (8.6.11/8.6.10/MOT-3.6) with ESMTP id TAA00365; Tue, 2 May 1995 19:55:16 -0500 Received: from mdd.comm.mot.com (mdisea.mdd.comm.mot.com [138.242.64.201]) by pobox.mot.com (8.6.11/8.6.10/MOT-3.6) with SMTP id TAA22470; Tue, 2 May 1995 19:55:14 -0500 Received: from bb29c.mdd.comm.mot.com by mdd.comm.mot.com (4.1/SMI-4.1) id AA08271; Tue, 2 May 95 17:55:13 PDT Received: by bb29c.mdd.comm.mot.com (4.1/SMI-4.1) id AA13338; Tue, 2 May 95 17:55:06 PDT Date: Tue, 2 May 1995 17:55:05 -0700 (PDT) From: Bill Mitchell X-Sender: mitchell@bb29c To: bug-gnu-utils@prep.ai.mit.edu Cc: debian-bugs@pixar.com, "J.H.M.Dassen" In-Reply-To: <199505020806.KAA08879@ipx139a.wi.leidenuniv.nl> Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII An indent-1.9.1 user has reported the following bug. A look at the code in args.c and indent.c suggests that the "-bbb" option is only partially implemented, though it is described as functional in the documentation. I'd appreciate it if you would copy your responses to all recipients of this email, and preserve the Subject: line so that our bug tracking system will handle it properly. On Tue, 2 May 1995, J.H.M.Dassen wrote: > Package: indent > Version: 1.9.1-7 > > The info documentation for indent > ("Edition 1.3, January 1994, of `The `indent' Manual', for Indent Version 1.9") > states in the option summary: > `-bbb' > `--blank-lines-after-block-comments' > Force blank lines after block comments > > Both the short and the long version do not work. > "indent -st -bbb file.c" results in 'indent: unknown option "-bbb"'; > "indent -st --blank-lines-after-block-comments file.c" results in > 'indent: unknown option "-blank-lines-after-block-comments"' > (yes, one starting "-"). Thanks, Bill Mitchell ----------------------------------------------------------------------- Message sent: From: iwj10@thor.cam.ac.uk (Ian Jackson) To: Bill Mitchell Subject: Bug#850: Info received (was Bug#850: [indent] option mentioned in documentation not supported) In-Reply-To: References: Thank you for the additional information you have supplied regarding this problem report. It has been forwarded to the developers to accompany the original report. If you wish to continue to submit further information on your problem, please do the same thing again: send it to debian-bugs@pixar.com, ensuring that the Subject line starts with "Bug#850" or "Re: Bug#850" so that we can identify it as relating to the same problem. Please do not reply to the address at the top of this message, unless you wish to report a problem with the bug-tracking system. Ian Jackson (maintainer, debian-bugs) ----------------------------------------------------------------------- Ian Jackson / iwj10@thor.cam.ac.uk , with the debian-bugs tracking mechanism This page last modified 07:43:01 GMT Wed 01 Nov