From 13dfcc5eedbd0e846667d11d986ed778f667312e Mon Sep 17 00:00:00 2001
From: "W. Trevor King" <wking@tremily.us>
Date: Wed, 19 Sep 2012 17:33:48 -0400
Subject: [PATCH] pg.py: add --encoding to override pygrader.ENCODING if you
 don't like UTF-8.

---
 bin/pg.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/bin/pg.py b/bin/pg.py
index fd7586c..b308278 100755
--- a/bin/pg.py
+++ b/bin/pg.py
@@ -54,6 +54,10 @@ if __name__ == '__main__':
     parser.add_argument(
         '-d', '--base-dir', dest='basedir', default='.',
         help='Base directory containing grade data')
+    parser.add_argument(
+        '-e', '--encoding', dest='encoding',
+        help=('Override the default file encoding selection '
+              '(useful when running from procmail)'))
     parser.add_argument(
         '-c', '--color', default=False, action='store_const', const=True,
         help='Color printed output with ANSI escape sequences')
-- 
2.26.2