From 214ba5979b55ef209fc76cf0949d6f896168427d Mon Sep 17 00:00:00 2001
From: Grant Sanderson <grant@3blue1brown.com>
Date: Wed, 16 Jan 2019 11:08:14 -0800
Subject: [PATCH] Added --leave_progress_bars option, with the deault being to
 remove them

---
 manimlib/config.py        | 6 ++++++
 manimlib/extract_scene.py | 3 ++-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/manimlib/config.py b/manimlib/config.py
index a97c2ab8..19063713 100644
--- a/manimlib/config.py
+++ b/manimlib/config.py
@@ -98,6 +98,11 @@ def parse_cli():
             action="store_true",
             help="Play a success/failure sound",
         )
+        parser.add_argument(
+            "--leave_progress_bars",
+            action="store_true",
+            help="Leave progress bars displayed in terminal",
+        )
 
         # For live streaming
         module_location.add_argument(
@@ -184,6 +189,7 @@ def get_configuration(args):
         "start_at_animation_number": args.start_at_animation_number,
         "end_at_animation_number": None,
         "sound": args.sound,
+        "leave_progress_bars": args.leave_progress_bars
     }
 
     # Camera configuration
diff --git a/manimlib/extract_scene.py b/manimlib/extract_scene.py
index 2e2348b3..c2265db0 100644
--- a/manimlib/extract_scene.py
+++ b/manimlib/extract_scene.py
@@ -133,7 +133,8 @@ def main(config):
             "movie_file_extension",
             "start_at_animation_number",
             "end_at_animation_number",
-            "output_file_name"
+            "output_file_name",
+            "leave_progress_bars",
         ]
     ])
     if config["save_pngs"]: