vindolin · January 4, 2016 22:00
diff --git a/get_total_history.py b/get_total_history.py
 #!/usr/bin/env python

 # run with get_total_history.py <(history)

 import fileinput
 history = [
  line.strip().partition(' ')[2]
  for line in fileinput.input()]
	#!/usr/bin/env python

	# run with get_total_history.py <(history)

	import fileinput
	history = [
	line.strip().partition(' ')[2]
	for line in fileinput.input()]