FilesExpand file tree

 master

/

indent.py

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

40 lines (33 loc) · 1.03 KB

 master

/

indent.py

Copy path

Top

File metadata and controls

• Code
• Blame

40 lines (33 loc) · 1.03 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

"""Changes the indentation level of code listings."""

import sys

def main(tex, level):

state = 0

src = open(tex)

for line in src:

if len(line) == 1: # skip blank lines

print line,

elif state == 0: # look for code block

if line.startswith("\\begin{code}"):

state = 1

print line,

elif state == 1: # first line of code

cur = len(line) - len(line.lstrip())

add = level - cur

if add < 0:

sub = -add

add = 0

else:

sub = 0

print ' ' * add + line[sub:],

state = 2

elif state == 2: # inside a code block

if line.startswith("\\end{code}"):

state = 0

print line,

else:

print ' ' * add + line[sub:],

if __name__ == "__main__":

if len(sys.argv) == 3:

main(sys.argv[1], int(sys.argv[2]))

else:

print "Usage: python indent.py MAIN.tex LEVEL"