This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

classification
Title: pindent: add functionality to remove #END tags
Type: Stage:
Components: None Versions:
process
Status: closed Resolution:
Dependencies: Superseder:
Assigned To: gvanrossum Nosy List: gvanrossum, nowonder
Priority: normal Keywords: patch

Created on 2000-06-12 08:28 by nowonder, last changed 2022-04-10 16:02 by admin. This issue is now closed.

Files
File name Uploaded Description Edit
None nowonder, 2000-06-12 08:28 None
Messages (4)
msg32805 - (view) Author: Peter Schneider-Kamp (nowonder) * (Python triager) Date: 2000-06-12 08:28
 
msg32806 - (view) Author: Peter Schneider-Kamp (nowonder) * (Python triager) Date: 2000-06-12 08:32
I confirm that, to the best of my knowledge and belief, this
contribution is free of any claims of third parties under
copyright, patent or other rights or interests ("claims").  To
the extent that I have any such claims, I hereby grant to CNRI a
nonexclusive, irrevocable, royalty-free, worldwide license to
reproduce, distribute, perform and/or display publicly, prepare
derivative versions, and otherwise use this contribution as part
of the Python software and its related documentation, or any
derivative versions thereof, at no cost to CNRI or its licensed
users, and to authorize others to do so.

I acknowledge that CNRI may, at its sole discretion, decide
whether or not to incorporate this contribution in the Python
software and its related documentation.  I further grant CNRI
permission to use my name and other identifying information
provided to CNRI by me for use in connection with the Python
software and its related documentation.
msg32807 - (view) Author: Peter Schneider-Kamp (nowonder) * (Python triager) Date: 2000-06-12 08:34
Problem:
A Python program can be completed and reformatted using
Tools/scripts/pindent.py. Unfortunately there is no option
for removal of the generated "# end"-tags.
Although a few Python commands or a "grep -v '# end '"
can do wonders here, there are two drawbacks:
- not everyone has grep/time to write a Python script
- it is not checked whether the "# end"-tags were used validly
  
Solution:
add extra option "-e" (eliminate) to pindent.py

msg32808 - (view) Author: Peter Schneider-Kamp (nowonder) * (Python triager) Date: 2000-06-12 08:39
Guido van Rossum wrote:
> 
> Looks okay to me.
> 
> --Guido van Rossum (home page: http://www.python.org/~guido/)

I guess I can take that as +0, right?

Does anybody feel like commenting on it or just checking it in?
History
Date User Action Args
2022-04-10 16:02:01adminsetgithub: 32451
2000-06-12 08:28:51nowondercreate