| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|
|
|
| |
change eliminate to delete (-d)
|
|
|
|
|
|
|
|
|
|
| |
mislabeled.
(Using -c and then -e rearranges some comments, so I won't check that
in -- but it's a good test anyway.
Note that pindent is not perfect -- e.g. it doesn't know about
triple-quoted strings!)
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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
|
|
|
|
| |
L.append(a,b,c,d) with the correct L.append((a,b,c,d)).
|
| |
|
|
|
|
|
| |
pindent.py: use /usr/local/bin/python;
pathfix.py: new script to fix #! lines in a group of scripts.
|
|
|
|
| |
Added usage message to test program.
|
| |
|
|
|