How to override "HEADER" in bean-extract?

[blais]

Original report by Zhuoyun Wei (Bitbucket: wzyboy, GitHub: wzyboy).

---

Hi,

in extract.py I could see this comment:

# The format for the header in the extracted output.
# You may override this value from your .import script.
HEADER = ';; -*- mode: beancount -*-\n'

However, defining HEADER in .import script does not seem to work. It seems that output.write(HEADER) in extract.py writes the hard-coded header directly to the output.

[blais]

Original comment by Martin Blais (Bitbucket: blais, GitHub: blais).

---

You write a script with a main(), import extract, and override its value.
Maybe I should remove the comment.

[blais]

Original comment by Martin Blais (Bitbucket: blais, GitHub: blais).

---

WAI